Search results for "Requirements/Specifications"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
5	Jonas Helming, Maximilian Koegel	Managing iterations with UNICASE.	ICSE (2)	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.	Requir. Eng.	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.	SAC	2009	DBLP DOI BibTeX RDF	binary Java application, test case prioritization, regression testing selection
5	Bill Mitchell	Characterizing Communication Channel Deadlocks in Sequence Diagrams.	IEEE Trans. Software Eng.	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.	TOOLS (46)	2008	DBLP DOI BibTeX RDF
5	T. S. E. Maibaum	Challenges in Software Certification.	ICFEM	2007	DBLP DOI BibTeX RDF
5	Eric Groise, Nicolas Mangin	Octopus : Agile software development facing our imperfect world.	AGILE	2007	DBLP DOI BibTeX RDF
5	Jane Huffman Hayes, Jeff Offutt	Input validation analysis and testing.	Empir. Softw. Eng.	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.	DIPES	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.	QSIC	2006	DBLP DOI BibTeX RDF
5	Bill Mitchell	Resolving Race Conditions in Asynchronous Partial Order Scenarios.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	formal methods, Requirements analysis, distributed programming
5	Phillip A. Laplante, Colin J. Neill	Uncertainty: A Meta-Property of Software.	SEW	2005	DBLP DOI BibTeX RDF	uncertainty, software quality
5	Simona Vasilache, Jiro Tanaka	Bridging the Gap between Analysis and Design Using Dependency Diagrams.	SERA	2005	DBLP DOI BibTeX RDF
5	Peter G. Neumann	When Can Formal Methods Make a Real Difference?	ICFEM	2004	DBLP DOI BibTeX RDF
5	Per Runeson, Thomas Thelin	A Case Study Using Sampling to Improve Software Inspection Effectiveness.	ISESE	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.	IEEE METRICS	2002	DBLP DOI BibTeX RDF
5	Marian Bubak, Maciej Malawski, Katarzyna Zajac 0001	Towards the CrossGrid Architecture.	PVM/MPI	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.	IEA/AIE	2002	DBLP DOI BibTeX RDF
5	Jane Cleland-Huang, Carl K. Chang, Hosung Kim, Arun Balakrishnan	Requirements-Based Dynamic Metrics In Object-Oriented Systems.	RE	2001	DBLP DOI BibTeX RDF
5	Luís Gomes 0001	Introducing Programmable Logic Devices into Digital Design.	MSE	2001	DBLP DOI BibTeX RDF
5	Willem Visser, Seungjoon Park, John Penix	Using predicate abstraction to reduce object-oriented programs for model checking.	FMSP	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.	ACSAC	1999	DBLP DOI BibTeX RDF
5	Adam A. Porter, Lawrence G. Votta	Comparing Detection Methods For Software Requirements Inspections: A Replication Using Professional Subjects.	Empir. Softw. Eng.	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.	HICSS (3)	1998	DBLP DOI BibTeX RDF
5	Martin Fränzle, Karsten Lüth	Compiling Graphical Real-Time Specifications into Silicon.	FTRTFT	1998	DBLP DOI BibTeX RDF
5	Mats Per Erik Heimdahl, Nancy G. Leveson	Completeness and Consistency in Hierarchical State-Based Requirements.	IEEE Trans. Software Eng.	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.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	technique and methodology evaluation, inspections, Controlled experiments, reading techniques
5	Michael Jackson 0001	Critical Reading For Software Developers.	IEEE Softw.	1995	DBLP DOI BibTeX RDF
5	John W. Sheppard, William R. Simpson	Functional path analysis: an approach to software verification.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF