|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 523 occurrences of 304 keywords
|
|
|
Results
Found 429 publication records. Showing 429 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
5 | Jonas Helming, Maximilian Koegel |
Managing iterations with UNICASE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (2) ![In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2, ICSE 2010, Cape Town, South Africa, 1-8 May 2010, pp. 313-314, 2010, ACM. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
5 | Joaquín Nicolás, Joaquín Lasheras, José Ambrosio Toval Álvarez, Francisco J. Ortiz, Bárbara Álvarez |
An integrated domain analysis approach for teleoperated systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Requir. Eng. ![In: Requir. Eng. 14(1), pp. 27-46, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Product line requirements engineering, Generic use cases, Teleoperated systems, Feature modelling, Action research, Domain analysis |
5 | Sheng Huang, Yang Chen, Jun Zhu, Zhong Jie Li, Huafang Tan |
An optimized change-driven regression testing selection strategy for binary Java applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009, pp. 558-565, 2009, ACM, 978-1-60558-166-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
binary Java application, test case prioritization, regression testing selection |
5 | Bill Mitchell |
Characterizing Communication Channel Deadlocks in Sequence Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 34(3), pp. 305-320, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Formal methods, Requirements Analysis, Distributed programming, Distributed networks, Protocol verification |
5 | Roberto Acerbis, Aldo Bongio, Marco Brambilla 0001, Stefano Butti, Stefano Ceri, Piero Fraternali |
Web Applications Design and Development with WebML and WebRatio 5.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (46) ![In: Objects, Components, Models and Patterns, 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings, pp. 392-411, 2008, Springer, 978-3-540-69823-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
5 | T. S. E. Maibaum |
Challenges in Software Certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007, Proceedings, pp. 4-18, 2007, Springer, 978-3-540-76648-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
5 | Eric Groise, Nicolas Mangin |
Octopus : Agile software development facing our imperfect world. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGILE ![In: AGILE 2007 Conference (AGILE 2007), 13-17 August 2007, Washington, DC, USA, pp. 344-350, 2007, IEEE Computer Society, 0-7695-2872-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
5 | Jane Huffman Hayes, Jeff Offutt |
Input validation analysis and testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Empir. Softw. Eng. ![In: Empir. Softw. Eng. 11(4), pp. 493-522, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Specificationanalysis, Inputvalidation, Fault-based analysis, Fault-basedtesting, Empiricalresearch, Syntax-based, Interfaceverification, Systemtesting, Staticanalysis, Dynamictesting, Casestudy, Software testing |
5 | Christo Angelov, Jesper Berthing |
Distributed Timed Multitasking - A Model of Computation for Hard Real-Time Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIPES ![In: From Model-Driven Design to Resource Management for Distributed Embedded Systems, IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006), October 11-13, 2006, Braga, Portugal, pp. 145-154, 2006, Springer, 978-0-387-39361-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
hard real-time distributed systems, actor-based architecture, signal-based communication, timed multitasking |
5 | Nelly Condori-Fernández, Oscar Pastor 0001 |
An Empirical Study on the Likelihood of Adoption in Practice of a Size Measurement Procedure for Requirements Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: Sixth International Conference on Quality Software (QSIC 2006), 26-28 October 2006, Beijing, China, pp. 133-140, 2006, IEEE Computer Society, 0-7695-2718-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
5 | Bill Mitchell |
Resolving Race Conditions in Asynchronous Partial Order Scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 31(9), pp. 767-784, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
formal methods, Requirements analysis, distributed programming |
5 | Phillip A. Laplante, Colin J. Neill |
Uncertainty: A Meta-Property of Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEW ![In: 29th Annual IEEE / NASA Software Engineering Workshop (SEW-29 2005), 6-7 April 2005, Greenbelt, Maryland, USA, pp. 228-233, 2005, IEEE Computer Society, 0-7695-2306-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
uncertainty, software quality |
5 | Simona Vasilache, Jiro Tanaka |
Bridging the Gap between Analysis and Design Using Dependency Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERA ![In: Third ACIS International Conference on Software Engineering, Research, Management and Applications (SERA 2005), 11-13 August 2005, Mt. Pleasant, MI, USA, pp. 407-414, 2005, IEEE Computer Society, 0-7695-2297-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
5 | Peter G. Neumann |
When Can Formal Methods Make a Real Difference? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings, pp. 12, 2004, Springer, 3-540-23841-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
5 | Per Runeson, Thomas Thelin |
A Case Study Using Sampling to Improve Software Inspection Effectiveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISESE ![In: 2003 International Symposium on Empirical Software Engineering (ISESE 2003), 30 September - 1 October 2003. Rome, Italy, pp. 252-261, 2003, IEEE Computer Society, 0-7695-2002-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
5 | Claes Wohlin, Aybüke Aurum, Håkan Petersson, Forrest Shull, Marcus Ciolkowski |
Software Inspection Benchmarking - A Qualitative and Quantitative Comparative Opportunity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE METRICS ![In: 8th IEEE International Software Metrics Symposium (METRICS 2002), 4-7 June 2002, Ottawa, Canada, pp. 118-, 2002, IEEE Computer Society, 0-7695-1339-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
5 | Marian Bubak, Maciej Malawski, Katarzyna Zajac 0001 |
Towards the CrossGrid Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface, 9th European PVM/MPI Users' Group Meeting, Linz, Austria, September 29 - October 2, 2002, Proceedings, pp. 16-24, 2002, Springer, 3-540-44296-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
interactive applicaltions, architecture, Grid, services |
5 | Jorge Santos 0001, Zita A. Vale, Carlos Ramos 0001 |
On the Verification of an Expert System: Practical Issues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Developments in Applied Artificial Intelligence, 15th International Conference on Industrial and Engineering, Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2002, Cairns, Australia, June 17-20, 2002, Proceedings, pp. 414-424, 2002, Springer, 3-540-43781-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
5 | Jane Cleland-Huang, Carl K. Chang, Hosung Kim, Arun Balakrishnan |
Requirements-Based Dynamic Metrics In Object-Oriented Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: 5th IEEE International Symposium on Requirements Engineering (RE 2001), 27-31 August 2001, Toronto, Canada, pp. 212-221, 2001, IEEE Computer Society, 0-7695-1125-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
5 | Luís Gomes 0001 |
Introducing Programmable Logic Devices into Digital Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSE ![In: 2001 International Conference on Microelectronics Systems Education, MSE 2001, Las Vegas, NV, USA, July 17-18, 2001, pp. 73-74, 2001, IEEE Computer Society, 0-7695-1156-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
5 | Willem Visser, Seungjoon Park, John Penix |
Using predicate abstraction to reduce object-oriented programs for model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMSP ![In: Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000, Portland, Oregon, USA, pp. 3-182, 2000, ACM, 1-58113-262-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
browsing |
5 | James Kirby, Myla Archer, Constance L. Heitmeyer |
SCR: A Practical Approach to Building a High Assurance COMSEC System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: 15th Annual Computer Security Applications Conference (ACSAC 1999), 6-10 December 1999, Scottsdale, AZ, USA, pp. 109-118, 1999, IEEE Computer Society, 0-7695-0346-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
5 | Adam A. Porter, Lawrence G. Votta |
Comparing Detection Methods For Software Requirements Inspections: A Replication Using Professional Subjects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Empir. Softw. Eng. ![In: Empir. Softw. Eng. 3(4), pp. 355-379, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
replication, inspection, controlled experiment |
5 | Ann E. Kelley Sobel |
Formal Requirements Specification Analysis of Attitude Control of the International Space Station Alpha. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (3) ![In: Thirty-First Annual Hawaii International Conference on System Sciences, Kohala Coast, Hawaii, USA, January 6-9, 1998, pp. 348-355, 1998, IEEE Computer Society, 0-8186-8255-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
5 | Martin Fränzle, Karsten Lüth |
Compiling Graphical Real-Time Specifications into Silicon. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTRTFT ![In: Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings, pp. 272-281, 1998, Springer, 3-540-65003-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
5 | Mats Per Erik Heimdahl, Nancy G. Leveson |
Completeness and Consistency in Hierarchical State-Based Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 22(6), pp. 363-377, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
state-based requirements, formal methods, static analysis, consistency, Completeness, reactive systems, formal semantics |
5 | Adam A. Porter, Lawrence G. Votta, Victor R. Basili |
Comparing Detection Methods for Software Requirements Inspections: A Replicated Experiment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 21(6), pp. 563-575, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
technique and methodology evaluation, inspections, Controlled experiments, reading techniques |
5 | Michael Jackson 0001 |
Critical Reading For Software Developers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 12(6), pp. 103-104, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
5 | John W. Sheppard, William R. Simpson |
Functional path analysis: an approach to software verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the Sixteenth ACM Annual Conference on Computer Science, Atlanta, Georgia, USA, February 23-25, 1988, pp. 266-272, 1988, ACM, 0-89791-260-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
Displaying result #401 - #429 of 429 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5] |
|