Search results for "Requirements/Specifications"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Magnus Eriksson, Jürgen Börstler, Kjell Borg	Managing requirements specifications for product lines - An approach and industry case study.	J. Syst. Softw.	2009	DBLP DOI BibTeX RDF
15	Joaquín Nicolás, José Ambrosio Toval Álvarez	On the generation of requirements specifications from software engineering models: A systematic literature review.	Inf. Softw. Technol.	2009	DBLP DOI BibTeX RDF
15	Sergio España, Nelly Condori-Fernández, Arturo González 0001, Oscar Pastor 0001	Evaluating the Completeness and Granularity of Functional Requirements Specifications: A Controlled Experiment.	RE	2009	DBLP DOI BibTeX RDF	unity criteria, metrics, requirements engineering, experiment, completeness, use cases, granularity, communication analysis
15	Nelly Condori-Fernández, Maya Daneva, Klaas Sikkel, Roel J. Wieringa, Oscar Dieste, Oscar Pastor 0001	Research Findings on Empirical Evaluation of Requirements Specifications Approaches.	WER	2009	DBLP BibTeX RDF
15	Yusuke Matsuo, Atsushi Ohnishi	Transformation of Organization of Software Requirements Specifications.	ICSOFT (1)	2009	DBLP BibTeX RDF
15	Motoshi Saeki, Haruhiko Kaiya, Satoshi Hattori	Detecting Regulatory Vulnerability in Functional Requirements Specifications.	ICSOFT (1)	2009	DBLP BibTeX RDF
15	Nelly Condori-Fernández, Maya Daneva, Klaas Sikkel, Roel J. Wieringa, Óscar Dieste Tubío, Oscar Pastor 0001	A systematic mapping study on empirical evaluation of software requirements specifications techniques.	ESEM	2009	DBLP DOI BibTeX RDF
15	Tevfik Bultan, Constance L. Heitmeyer	Applying infinite state model checking and other analysis techniques to tabular requirements specifications of safety-critical systems.	Des. Autom. Embed. Syst.	2008	DBLP DOI BibTeX RDF
15	Ana Belén Barragáns-Martínez, José Juan Pazos-Arias, Ana Fernández Vilas, Jorge García Duque, Martín López Nores, Rebeca P. Díaz Redondo, Yolanda Blanco-Fernández	Composing requirements specifications from multiple prioritized sources.	Requir. Eng.	2008	DBLP DOI BibTeX RDF	Requirements specification, Viewpoints, Inconsistency, Prioritization, Incompleteness
15	Ana Belén Barragáns-Martínez, José Juan Pazos-Arias, Ana Fernández Vilas, Jorge García Duque, Martín López Nores, Rebeca P. Díaz Redondo, Yolanda Blanco-Fernández	On the interplay between inconsistency and incompleteness in multi-perspective requirements specifications.	Inf. Softw. Technol.	2008	DBLP DOI BibTeX RDF
15	Ana Belén Barragáns-Martínez, José Juan Pazos-Arias, Ana Fernández Vilas, Jorge García Duque, Martín López Nores, Rebeca P. Díaz Redondo, Yolanda Blanco-Fernández	Composing Multi-Perspective Software Requirements Specifications.	Int. J. Softw. Eng. Knowl. Eng.	2008	DBLP DOI BibTeX RDF
15	Eric Knauss, Christian El Boustani	Assessing the Quality of Software Requirements Specifications.	RE	2008	DBLP DOI BibTeX RDF
15	Katharina Wolter, Michal Smialek, Daniel Bildhauer, Hermann Kaindl	Reusing Terminology for Requirements Specifications from WordNet.	RE	2008	DBLP DOI BibTeX RDF
15	Nelly Condori-Fernández, Oscar Pastor 0001, Maya Daneva, Alain Abran, Jaelson Castro	Quantifying Functional Reuse from Object Oriented Requirements Specifications.	WER	2008	DBLP BibTeX RDF
15	Silvia Mara Abrahão, Emilio Insfrán	A Metamodeling Approach to Estimate Software Size from Requirements Specifications.	EUROMICRO-SEAA	2008	DBLP DOI BibTeX RDF
15	Nelly Condori-Fernández, Silvia Mara Abrahão, Oscar Pastor 0001	On the Estimation of the Functional Size of Software from Requirements Specifications.	J. Comput. Sci. Technol.	2007	DBLP DOI BibTeX RDF	requirement specification, measurement technique, product metrics
15	Tereza G. Kirner, Erik R. da Cruz	Evaluation of the OORT Techniques for Inspection of Requirements Specifications in UML: an Empirical Study.	SEKE	2007	DBLP BibTeX RDF
15	Sri Fatimah Tjong, Michael Hartley, Daniel M. Berry	Extended Disambiguation Rules for Requirements Specifications.	WER	2007	DBLP BibTeX RDF
15	Joe Geldart, William Song	Integrating Requirements Specifications and Web Services Using Cognitive Models1.	ISD (2)	2007	DBLP DOI BibTeX RDF
15	Mohamed Ghazel, El-Miloudi El-Koursi	Automatic Level Crossings: From Informal Functional Requirements' Specifications to the Control Model Design.	SoSE	2007	DBLP DOI BibTeX RDF
15	Jorge García Duque, Martín López Nores, José Juan Pazos-Arias, Ana Fernández Vilas, Rebeca P. Díaz Redondo, Alberto Gil-Solla, Yolanda Blanco-Fernández, Manuel Ramos Cabrer	A Six-valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications.	J. Log. Comput.	2006	DBLP DOI BibTeX RDF
15	Alexander A. Letichevsky, Julia V. Kapitonova, A. A. Letichevsky Jr., Vladislav A. Volkov, Sergey Baranov, Thomas Weigert	Basic protocols, message sequence charts, and the verification of requirements specifications.	Comput. Networks	2005	DBLP DOI BibTeX RDF
15	Constance L. Heitmeyer, Myla Archer, Ramesh Bharadwaj, Ralph D. Jeffords	Tools for constructing requirements specifications: the SCR Toolset at the age of nine.	Comput. Syst. Sci. Eng.	2005	DBLP BibTeX RDF
15	Deirdre Carew, Chris Exton, Jim Buckley	Preliminary Study to Empirically Investigate the Comprehensibility of Requirements Specifications.	PPIG	2005	DBLP BibTeX RDF
15	Kedian Mu, Zhi Jin, Ruqian Lu, Weiru Liu	Measuring Inconsistency in Requirements Specifications.	ECSQARU	2005	DBLP DOI BibTeX RDF
15	Xuefeng Zhu, Zhi Jin	Ontology-Based Inconsistency Management of Software Requirements Specifications.	SOFSEM	2005	DBLP DOI BibTeX RDF
15	Xuefeng Zhu, Zhi Jin	Inconsistency Measurement of Software Requirements Specifications: An Ontology-Based Approach.	ICECCS	2005	DBLP DOI BibTeX RDF
15	Charles Iheagwara, Andrew Blyth, Mike Bennett	Architectural and Functional Issues in Systems Requirements Specifications for Wireless Intrusion Detection Systems Implementation.	Systems Communications	2005	DBLP DOI BibTeX RDF
15	Dionisis X. Adamopoulos	Integrating Requirements & Specifications in the Telecommunications Service Creation Process.	ICETE (1)	2004	DBLP BibTeX RDF
15	Artur S. d'Avila Garcez, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer	Combining abductive reasoning and inductive learning to evolve requirements specifications.	IEE Proc. Softw.	2003	DBLP DOI BibTeX RDF
15	Erik Kamsties, Antje von Knethen, Ralf H. Reussner	A controlled experiment to evaluate how styles affect the understandability of requirements specifications.	Inf. Softw. Technol.	2003	DBLP DOI BibTeX RDF
15	Nikos Gorogiannis, Mark Ryan 0001	Requirements, specifications, and minimal refinement.	WoLLIC	2002	DBLP DOI BibTeX RDF
15	Oliver Laitenberger, Thomas Beil, Thilo Schwinn	An Industrial Case Study to Examine a Non-Traditional Inspection Implementation for Requirements Specifications.	Empir. Softw. Eng.	2002	DBLP BibTeX RDF
15	Yunja Choi, Sanjai Rayadurgam, Mats Per Erik Heimdahl	Toward Automation for Model-Checking Requirements Specifications with Numeric Constraints.	Requir. Eng.	2002	DBLP DOI BibTeX RDF	Model checking specifications, Abstraction, Numeric constraints
15	Guoqing Wu, Fengdi Shu, Min Wang, Weiqing Chen	Requirements Specifications Checking of Embedded Real-Time Software.	J. Comput. Sci. Technol.	2002	DBLP DOI BibTeX RDF
15	Oliver Laitenberger, Thomas Beil, Thilo Schwinn	An Industrial Case Study to examine a non-traditional Inspection Implementation for Requirements Specifications.	IEEE METRICS	2002	DBLP DOI BibTeX RDF
15	Beum-Seuk Lee, Barrett R. Bryant	Contextual Natural Language Processing and DAML for Understanding Software Requirements Specifications.	COLING	2002	DBLP BibTeX RDF
15	Nihal Kececi, Wolfgang A. Halang, Alain Abran	A Semi-Formal Method to Verify Correctness of Functional Requirements Specifications of Complex Systems.	DIPES	2002	DBLP BibTeX RDF
15	Dorin Bogdan Petriu, C. Murray Woodside	Analysing software requirements specifications for performance.	Workshop on Software and Performance	2002	DBLP DOI BibTeX RDF	performance, specifications, completion, nonfunctional requirements, use case maps
15	Goce Trajcevski, Chitta Baral, Jorge Lobo 0001	Formalizing and Reasoning About the Requirements Specifications of Workflow Systems.	Int. J. Cooperative Inf. Syst.	2001	DBLP DOI BibTeX RDF
15	Daya Gupta, Naveen Prakash	Engineering Methods from Method Requirements Specifications.	Requir. Eng.	2001	DBLP DOI BibTeX RDF	CAME tool, Method assembly, Method components, Meta-model, Requirements specification, Method engineering, Instantiation
15	Georg Kösters, Hans-Werner Six, Mario Winter	Coupling Use Cases and Class Models as a Means for Validation and Verification of Requirements Specifications.	Requir. Eng.	2001	DBLP DOI BibTeX RDF	Activity graphs, UML, Verification, Requirements engineering, Validation, Use cases, Class models
15	Dinesh Batra, Solomon R. Antony	Consulting support during conceptual database design in the presence of redundancy in requirements specifications: an empirical study.	Int. J. Hum. Comput. Stud.	2001	DBLP DOI BibTeX RDF
15	Taeho Kim, Sung Deok Cha	Automated structural analysis of SCR-style software requirements specifications using PVS.	Softw. Test. Verification Reliab.	2001	DBLP DOI BibTeX RDF
15	Ariel Fuxman, John Mylopoulos, Marco Pistore, Paolo Traverso	Model Checking Early Requirements Specifications in Tropos.	RE	2001	DBLP DOI BibTeX RDF
15	Amador Durán 0001, Beatriz Bernárdez 0001, Antonio Ruiz Cortés, Miguel Toro	An XMLBased Approach for the Automatic Verification of Software Requirements Specifications.	WER	2001	DBLP BibTeX RDF
15	John Krogstie	A Semiotic Approach to Quality in Requirements Specifications.	Organizational Semiotics	2001	DBLP BibTeX RDF
15	Günther Fliedl, Christian Kop, Willi Mayerthaler, Heinrich C. Mayr, Christian Winkler	Guidelines for NL-Based Requirements Specifications in NIBA.	NLDB	2000	DBLP DOI BibTeX RDF
15	Günther Fliedl, Christian Kop, Willi Mayerthaler, Heinrich C. Mayr, Christian Winkler	Linguistic Aspects of Dynamics in Requirements Specifications.	DEXA Workshops	2000	DBLP DOI BibTeX RDF	linguistic aspects, requirements specification dynamics, natural language requirement specifications, behavioral aspects, NTMS model, semantic contents, conceptual predesign model, automatic mapping, common conceptual models, UML, formal specification, application domain, linguistic analysis
15	Kimberly Meyers, Andrew S. Kanter, Régis Charlot, Frank Naeymi-Rad	The Follow-up note: Format and Requirements, Specifications for the Computerized Medical Record.	AMIA	2000	DBLP BibTeX RDF
15	Guoqing Wu, Xiang Liu, Shi Ying, Tetsuo Tamai	Automated analysis of the SCR-style requirements specifications.	J. Comput. Sci. Technol.	1999	DBLP DOI BibTeX RDF
15	Ramesh Bharadwaj, Constance L. Heitmeyer	Model Checking Complete Requirements Specifications Using Abstraction.	Autom. Softw. Eng.	1999	DBLP DOI BibTeX RDF
15	Hideaki Sugimoto, Atsushi Ohnishi	A Detecting and Interpreting Method of the Inconsistency of Software Requirements Specifications.	APSEC	1999	DBLP DOI BibTeX RDF	Dempster and Shafer's theory, software requirements specification, inconsistency management
15	Angelo Gargantini, Constance L. Heitmeyer	Using Model Checking to Generate Tests from Requirements Specifications.	ESEC / SIGSOFT FSE	1999	DBLP DOI BibTeX RDF
15	Jonathan Lee 0004, Nien-Lin Xue, Kuo-Hsun Hsu, Yong-Yi Fangjang	Structuring Requirements Specifications through Goals Interactions.	ICTAI	1999	DBLP DOI BibTeX RDF	Conflicting Requirements, UML, Requirements Engineering, Goals
15	Axel van Lamsweerde, Laurent Willemet	Inferring Declarative Requirements Specifications from Operational Scenarios.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	Scenario-based requirements elicitation, inductive inference of specifications, specification refinement and analysis, goal-oriented requirements engineering, lightweight formal methods
15	Jean-Marc Zeippen, Eric Dubois 0001, Philippe Du Bois	Supporting the Analyst when Reasoning on Requirements Specifications for Real-Time and Distributed Systems.	ISORC	1998	DBLP DOI BibTeX RDF
15	Francesmary Modugno, Nancy G. Leveson, Jon Damon Reese, Kurt Partridge, Sean D. Sandys	Integrated Safety Analysis of Requirements Specifications.	Requir. Eng.	1997	DBLP DOI BibTeX RDF
15	Moataz A. Ahmed, David C. Rine	Generating fault-tolerant information distribution rules from high-level requirements specifications.	Int. J. Syst. Sci.	1997	DBLP DOI BibTeX RDF
15	Jin Wang	A subjective methodology for safety analysis of safety requirements specifications.	IEEE Trans. Fuzzy Syst.	1997	DBLP DOI BibTeX RDF
15	Feliks Kluzniak, Miroslawa Milkowska	Spill - A Logic Language for Writing Testable Requirements Specifications.	Sci. Comput. Program.	1997	DBLP DOI BibTeX RDF
15	Francesmary Modugno, Nancy G. Leveson, Jon Damon Reese, Kurt Partridge, Sean D. Sandys	Integrated Safety Analysis of Requirements Specifications.	RE	1997	DBLP DOI BibTeX RDF	software safety analysis, software safety, software requirements specification
15	Khalid Lateef, Hany H. Ammar, Vinay Mogulothu, Tooraj Nikzadeh	A methodology for verification and analysis of parallel and distributed systems requirements specifications.	PDSE	1997	DBLP DOI BibTeX RDF
15	Danielle C. Fowler, Paul A. Swatman	Presenting Object Oriented Formal Requirements Specifications: Insights from an Action Research Study.	IWFM	1997	DBLP BibTeX RDF
15	George Spanoudakis	Analogical Reuse of Requirements Specifications: A Computational Model.	Appl. Artif. Intell.	1996	DBLP DOI BibTeX RDF
15	Robert B. Jackson, David W. Embley, Scott N. Woodfield	Developing Formal Object-Oriented Requirements Specifications: A Model, Tool and Technique.	Inf. Syst.	1995	DBLP DOI BibTeX RDF
15	Norbert E. Fuchs, Rolf Schwitter	Attempto: Controlled Natural Language for Requirements Specifications.	LPE	1995	DBLP BibTeX RDF
15	Amer Saeed, Rogério de Lemos, Tom Anderson 0001	Safety Analysis for Requirements Specifications: Methods and Techniques.	SAFECOMP	1995	DBLP DOI BibTeX RDF
15	Constance L. Heitmeyer	Requirements Specifications for Hybrid Systems.	Hybrid Systems	1995	DBLP DOI BibTeX RDF
15	Jonathan Lee, Jiann-I Pan, Wei T. Huang	Integrating object-oriented requirements specifications with formal notations.	ICTAI	1995	DBLP DOI BibTeX RDF
15	Jeremy Pitt, Jim Cunningham	Making Requirements Specifications Accessible via Logic, Language and Graphics: A Progress Report.	IEA/AIE	1995	DBLP BibTeX RDF
15	Jeffrey J. P. Tsai, Alan Liu, Krishnakumar R. Nair	Debugging Logic-Based Requirements Specifications for Safety-Critical Systems - a FRORL Approach.	Int. J. Softw. Eng. Knowl. Eng.	1994	DBLP DOI BibTeX RDF
15	Feliks Kluzniak, Miroslawa Milkowska	Readable, Runnable Requirements Specifications in SPILL-2.	PLILP	1994	DBLP DOI BibTeX RDF
15	Feliks Kluzniak, Miroslawa Milkowska	Executable requirements Specifications in a Logic Specification Language SPILL-2.	ICLP Workshop: Applications of Logic Programming to Software Engineering	1994	DBLP BibTeX RDF
15	Robert B. Jackson, David W. Embley, Scott N. Woodfield	Automated Support for the Development of Formal Object-Oriented Requirements Specifications	CAiSE	1994	DBLP DOI BibTeX RDF
15	Eric Dubois 0001, Philippe Du Bois, Frédéric DuBru	Animating Formal Requirements Specifications of Cooperative Information Systems.	CoopIS	1994	DBLP BibTeX RDF
15	Jeffrey J. P. Tsai, Alan Liu, Krishnakumar R. Nair	Debugging Logic-Based Requirements Specifications - a FRORL Approach.	SEKE	1993	DBLP BibTeX RDF
15	Amer Saeed, Rogério de Lemos, Tom Anderson 0001	Robust Requirements Specifications for Safety - Critical Systems.	SAFECOMP	1993	DBLP DOI BibTeX RDF
15	Silvana Castano, Valeria De Antonellis, Pierluigi San Pietro	Reuse of Object-Oriented Requirements Specifications.	ER	1993	DBLP DOI BibTeX RDF
15	C. B. Piprani, R. Bruce Morris	A Multi-Model Approach for Deriving Requirements Specifications for a Mega-Project	CAiSE	1993	DBLP DOI BibTeX RDF
15	Daniel E. Cooke, Ann Q. Gates	On the Development of a Method to Synthesize Programs from Requirements Specifications.	Int. J. Softw. Eng. Knowl. Eng.	1991	DBLP DOI BibTeX RDF
15	W. Lewis Johnson, Martin S. Feather, David R. Harris 0002	The KBSA Requirements/Specifications Facet: ARIES.	KBSE	1991	DBLP DOI BibTeX RDF
15	John E. Odom	Using Box Structures for Definition of Requirements Specifications.	IBM Syst. J.	1990	DBLP DOI BibTeX RDF
15	Sidney C. Bailin	An Object-Oriented Requirements Specifications Method.	Commun. ACM	1989	DBLP DOI BibTeX RDF
15	Anthony Finkelstein	Re-use of formatted requirements specifications.	Softw. Eng. J.	1988	DBLP DOI BibTeX RDF
15	Jeff Kramer, Nr Keng	Animation of Requirements Specifications.	Softw. Pract. Exp.	1988	DBLP DOI BibTeX RDF
15	Yasushi Wakahara, Atsushi Ito	Prototyping System for Telecommunications Software Based on Abstract Execution of Requirements Specifications.	Comput. Networks	1987	DBLP DOI BibTeX RDF
15	Alexander Borgida, Sol J. Greenspan, John Mylopoulos	Knowledge Representation as the Basis for Requirements Specifications.	Computer	1985	DBLP DOI BibTeX RDF
15	Frank A. Cioch	Software Understandability: an Empirical Study (Comprehension, Requirements, Specifications, Expertise, Methodology).		1985	RDF
15	Alan M. Davis	Rapid prototyping using executable requirements specifications.	Rapid Prototyping	1982	DBLP DOI BibTeX RDF
15	Jef Jacobs, J. H. van Moll, Paul J. Krause, Rob J. Kusters, Jos J. M. Trienekens	Effects of Virtual Development on Product Quality: Exploring Defect Causes.	STEP	2003	DBLP DOI BibTeX RDF	Virtual development, Defect injection, Defect Causal Analysis, Defect detection, Product Quality
15	Bill Mitchell, Robert Thomson 0002, Paul Bristow	Scenario Synthesis from Imprecise Requirements.	SAM	2004	DBLP DOI BibTeX RDF
15	Daniela E. Herlea, Catholijn M. Jonker, Jan Treur, Niek J. E. Wijngaards	Integration of Behavioural Requirements Specification within Knowledge Engineering.	EKAW	1999	DBLP DOI BibTeX RDF
15	Miguel A. Laguna, Oscar López, Yania Crespo	Reuse, Standardization, and Transformation of Requirements.	ICSR	2004	DBLP DOI BibTeX RDF
15	David Peter Eames, Jonathan D. Moffett	The Integration of Safety and Security Requirements.	SAFECOMP	1999	DBLP DOI BibTeX RDF
15	Atsushi Ohnishi	Software Requirements Definition for Specification Database.	APSEC	1997	DBLP DOI BibTeX RDF	specification database, software requirements language, requirements definition, software requirements specification
15	Yannis Vassiliou, Manolis Marakakis, Panagiotis Katalagarianos, Lawrence Chung, Michalis Mertikas, John Mylopoulos	IRIS - A Mapping Assistant for Generating Designs from Requirements.	CAiSE	1990	DBLP DOI BibTeX RDF
13	Mauro Pezzè, Jochen Wuttke	Automatic Generation of Runtime Failure Detectors from Property Templates.	Software Engineering for Self-Adaptive Systems	2009	DBLP DOI BibTeX RDF
13	Rebeca P. Díaz Redondo, José Juan Pazos-Arias, Ana Fernández Vilas, Ana Belén Barragáns-Martínez	Approximate Retrieval of Incomplete and Formal Specifications Applied to Horizontal Reuse.	EUROMICRO	2002	DBLP DOI BibTeX RDF	component-based requirements engineering, reuse of formal requirement specifications, iterative and incremental software processes, software reuse
13	Nathan Weston, Ruzanna Chitchyan, Awais Rashid	Formal semantic conflict detection in aspect-oriented requirements.	Requir. Eng.	2009	DBLP DOI BibTeX RDF	Semantic composition, Formal methods, Requirements engineering, Conflict detection, Predicate logic, Aspect-oriented requirements engineering