Search results for "Requirements/Specifications"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
54	Yao Jun-feng, Shi Ying, Wen-jie Yuan, Ye Peng, Luo Ju-bo, Jia Xiang-Yang	A Framework of Reflective Mechanism for Supporting OWL-S Requirements Specifications Evolution.	CSSE (2)	2008	DBLP DOI BibTeX RDF
49	Sri Fatimah Tjong, Nasreddine Hallam, Michael Hartley	Improving the Quality of Natural Language Requirements Specifications through Natural Language Requirements Patterns.	CIT	2006	DBLP DOI BibTeX RDF	Natural Language Requirements Specifications, Guiding Rules, Language Patterns
43	Elizabeth I. Leonard, Constance L. Heitmeyer	Program Synthesis from Formal Requirements Specifications Using APTS.	High. Order Symb. Comput.	2003	DBLP DOI BibTeX RDF	APTS, formal specifications, program transformation, code generation, requirements specifications, SCR, code synthesis
43	Constance L. Heitmeyer, Bruce G. Labaw, Daniel L. Kiskis	Consistency checking of SCR-style requirements specifications.	RE	1995	DBLP DOI BibTeX RDF	SCR-style requirements specifications, SCR tabular notation, application independent properties, domain coverage, formal requirements model, automated consistency checking, formal specification, data integrity, program verification, formal model, determinism, software development process, consistency checks, formal analysis, type correctness
42	Kim Lauenroth, Klaus Pohl	Towards automated consistency checks of product line requirements specifications.	ASE	2007	DBLP DOI BibTeX RDF	requirements engineering, consistency, product line
39	Ralph D. Jeffords, Constance L. Heitmeyer	Automatic Generation of State Invariants from Requirements Specifications.	SIGSOFT FSE	1998	DBLP DOI BibTeX RDF	verification, formal methods, specification, software tools, validation, requirements, invariants
39	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, Manuel Ramos Cabrer, Yolanda Blanco-Fernández	Guidelines for the incremental identification of aspects in requirements specifications.	Requir. Eng.	2006	DBLP DOI BibTeX RDF	Requirements specifications, Crosscutting concerns, Aspect-mining, Incremental software development
38	Andreas Homrighausen, Hans-Werner Six, Mario Winter	Round-Trip Prototyping Based on Integrated Functional and User Interface Requirements Specifications.	Requir. Eng.	2002	DBLP DOI BibTeX RDF	Round-Trip Prototyping, User Interface Requirements, UML, Requirements engineering, Prototyping, Validation
36	Ariel Fuxman, Lin Liu 0001, John Mylopoulos, Marco Roveri, Paolo Traverso	Specifying and analyzing early requirements in Tropos.	Requir. Eng.	2004	DBLP DOI BibTeX RDF	Early requirements specifications, Model checking, Formal methods
36	Giuseppe Lami, Robert W. Ferguson	An Empirical Study on the Impact of Automation on the Requirements Analysis Process.	J. Comput. Sci. Technol.	2007	DBLP DOI BibTeX RDF	requirements/specifications analysis, requirements/specifications tools, process metrics
34	Chih-Wei Ho, Laurie A. Williams, Annie I. Antón	Improving Performance Requirements Specifications from Field Failure Reports.	RE	2007	DBLP DOI BibTeX RDF
33	Elmar Jürgens, Florian Deissenboeck, Martin Feilkas, Benjamin Hummel, Bernhard Schätz, Stefan Wagner 0001, Christoph Domann, Jonathan Streit	Can clone detection support quality assessments of requirements specifications?	ICSE (2)	2010	DBLP DOI BibTeX RDF	redundancy, requirements specification, clone detection
33	Narasimha Bolloju, Sherry Xiaoyun Sun	Exploiting the Complementary Relationship between Use Case Models and Activity Diagrams for Developing Quality Requirements Specifications.	ER Workshops	2008	DBLP DOI BibTeX RDF	quality requirements specifications, activity diagrams, Use case models
33	Tereza G. Kirner	Applying the SCR Method in Software Requirements Specifications.	SCCC	2000	DBLP DOI BibTeX RDF	SCR method, Software Cost Reduction method, real-time process control systems, liquid mixture system, real-time systems, formal specification, case study, process control, software cost estimation, software requirements specifications
33	Bashar Nuseibeh, Jeff Kramer, Anthony Finkelstein	A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	heterogeneous components, multiple ViewPoints, partial requirements specifications, inter-ViewPoint communication, ViewPoints framework, requirements specification method, computer-based ViewPoints support, The Viewer, formal specification, requirements specification, CORE, multiple views, consistency checking, inconsistency management
33	Scott P. Overmyer	A Methodology for Constructing User-Oriented Requirements Specifications for Large-Scale Systems Using Electronic Hypermedia.	Requir. Eng.	1999	DBLP DOI BibTeX RDF	Multimedia, specification, Requirements, Rapid prototyping
33	Richard Conn	Software Systems Requirements.	ACM J. Educ. Resour. Comput.	2002	DBLP DOI BibTeX RDF	Consortium Requirements Engineering, Evolutionary Spiral Model, Requirements-Based Testing, development requirements specifications interactively, documenting requirements, dynamics of interviewing, deriving and validating software requirements, problem domain modeling, rapid prototyping aids, requirements engineering methodologies, user/customer involvement, UML, formal methods, Z, extracting, SPARK
33	Christian Denger, Daniel M. Berry, Erik Kamsties	Higher Quality Requirements Specifications through Natural Language Patterns.	SwSTE	2003	DBLP DOI BibTeX RDF	embedded systems, authoring, patterns, quality, metamodel, natural language, completeness, accuracy, requirements specification, ambiguity, rewriting, precision
31	Deirdre Carew, Chris Exton, Jim Buckley	An empirical investigation of the comprehensibility of requirements specifications.	ISESE	2005	DBLP DOI BibTeX RDF
31	Constance L. Heitmeyer, James Kirby, Bruce G. Labaw, Myla Archer, Ramesh Bharadwaj	Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	simulation, model checking, verification, formal methods, specification, abstraction, Requirements, consistency checking, safety analysis, SCR
31	Dale A. Brown	Requiring CS1 students to write requirements specifications: a rationale, implementation suggestions, and a case study.	SIGCSE	1988	DBLP DOI BibTeX RDF
31	Mats Per Erik Heimdahl, Barbara J. Czerny	Using PVS to analyze hierarchical state-based requirements for completeness and consistency.	HASE	1996	DBLP DOI BibTeX RDF	hierarchical state based requirements specifications, input sequence, analysis procedures, large real world requirements specification, hierarchical state based language, Requirements State Machine Language, Prototype Verification System, theorem proving component, spurious error reports, formal specifications, robustness, consistency, program verification, completeness, Binary Decision Diagrams, BDDs, PVS, interactive environment, formal proofs, RSML
31	David W. Cordes, Doris L. Carver	Generating a requirements specifications knowledge-base.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF
30	David W. Cordes, Doris L. Carver	Knowledge Base Applications with Software Engineering: A Tool for Requirements Specifications.	IEA/AIE (Vol. 1)	1988	DBLP DOI BibTeX RDF
30	Constance L. Heitmeyer, Ralph D. Jeffords, Bruce G. Labaw	Automated Consistency Checking of Requirements Specifications.	ACM Trans. Softw. Eng. Methodol.	1996	DBLP DOI BibTeX RDF	application-independent properties, formal requirements modeling, software cost reduction methodology, tabular notations, consistency checking
29	Kedian Mu, Qi Zhang, Zhi Jin	Verifying Software Requirements Based on Answer Set Programming.	KSEM	2009	DBLP DOI BibTeX RDF
28	Christoph Domann, Elmar Jürgens, Jonathan Streit	The curse of copy&paste Cloning in requirements specifications.	ESEM	2009	DBLP DOI BibTeX RDF
28	Vahan Harput, Hermann Kaindl, Stefan Kramer 0001	Extending Function Point Analysis of Object-Oriented Requirements Specifications.	IEEE METRICS	2005	DBLP DOI BibTeX RDF
28	Ralph D. Jeffords, Constance L. Heitmeyer	An Algorithm for Strengthening State Invariants Generated from Requirements Specifications.	RE	2001	DBLP DOI BibTeX RDF
28	Alessandra Russo, Bashar Nuseibeh, Jeff Kramer	Restructuring Requirements Specifications For Managing Inconsistency And Change: A Case Study.	ICRE	1998	DBLP DOI BibTeX RDF	managing inconsistency, requirement engineering, restructuring
27	Nadzeya Kiyavitskaya, Nicola Zeni, Luisa Mich, Daniel M. Berry	Requirements for tools for ambiguity identification and measurement in natural language requirements specifications.	Requir. Eng.	2008	DBLP DOI BibTeX RDF	Ambiguity identification, Natural langugage, Requirements-identification experiments, Requirements-identification prototype, Requirements specification tools, Natural language processing, Disambiguation, Prototype tools
27	Chih-Hung Chang, Chih-Wei Lu, Nien-Lin Hsueh, William C. Chu, Chihhsiong Shih, Chao-Tung Yang, Pao-Ann Hsiung, Chorng-Shiuh Koong	SysML-based requirement modeling environment for multicore embedded system.	SAC	2010	DBLP DOI BibTeX RDF	requirement engineering, requirement modeling, model-driven, SysML
26	Tevfik Bultan, Constance L. Heitmeyer	Analyzing tabular requirements specifications using infinite state model checking.	MEMOCODE	2006	DBLP DOI BibTeX RDF
26	Konstantinos Zachos, Neil A. M. Maiden, Rhydian Howells-Morris	Discovering Web Services to Improve Requirements Specifications: Does It Help?.	REFSQ	2008	DBLP DOI BibTeX RDF
26	Nelly Condori-Fernández, Silvia Mara Abrahão, Oscar Pastor 0001	Towards a Functional Size Measure for Object-Oriented Systems from Requirements Specifications.	QSIC	2004	DBLP DOI BibTeX RDF	Requirements Model, Functional Size Measurement, COSMIC-FFP
26	Ana Belén Barragáns-Martínez, Jorge García Duque, José Juan Pazos-Arias, Ana Fernández Vilas, Rebeca P. Díaz Redondo	Requirements Specifications Evolution in a Multi-Perspective Environment.	COMPSAC	2002	DBLP DOI BibTeX RDF
25	Martín López Nores, José Juan Pazos-Arias, Jorge García Duque, Ana Belén Barragáns-Martínez	An Agile Approach to Support Incremental Development of Requirements Specifications.	ASWEC	2006	DBLP DOI BibTeX RDF
25	Reiner Hähnle, Kristofer Johannisson, Aarne Ranta	An Authoring Tool for Informal and Formal Requirements Specifications.	FASE	2002	DBLP DOI BibTeX RDF
25	Angelo Gargantini, Elvinia Riccobene	Automatic Model Driven Animation of SCR Specifications.	FASE	2003	DBLP DOI BibTeX RDF
25	Matthew S. Jaffe, Nancy G. Leveson, Mats Per Erik Heimdahl, Bonnie E. Melhart	Software Requirements Analysis for Real-Time Process-Control Systems.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	real-time process-control systems, observable phenomena, abstract state-machine model, real-time systems, formal specification, robustness, ambiguity, semantic analysis, software requirements, software requirements specifications, process computer control
25	Gilbert Babin, François Lustman, Peretz Shoval	Specification and Design of Transactions in Information Systems: A Formal Approach.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	conventional information systems development, manual checking, transformational paradigm, ADISSA notation, transaction-oriented refinement, structured systems analysis, hierarchical set, formal specification, formal specification, data integrity, finite state machine, systems analysis, transaction processing, requirements specifications, finite automata, FSM, structured programming, formal approach
25	Jorge García Duque, José Juan Pazos-Arias, Ana Belén Barragáns-Martínez	An Analysis-Revision Cycle to Evolve Requirements Specifications by Using the SCTL-MUS Methodology.	RE	2002	DBLP DOI BibTeX RDF
25	Bénédicte Dano, Henri Briand, Franck Barbier	Progressing Towards Object-Oriented Requirements Specifications by using the USE CASE Concept.	ECBS	1996	DBLP DOI BibTeX RDF	dynamic specifications, verification, requirements engineering, formalization, object-oriented analysis
24	Axel van Lamsweerde, Emmanuel Letier	Handling Obstacles in Goal-Oriented Requirements Engineering.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	high-level exception handling, obstacle-based requirements transformation, defensive requirements specification, Goal-oriented requirements engineering, lightweight formal methods, specification refinement
24	Linda A. Macaulay	Seven-Layer Model of the Role of the Facilitator in Requirements Engineering.	Requir. Eng.	1999	DBLP DOI BibTeX RDF	Distributed teamwork, Requirements capture, CSCW, Groupware, Facilitation, Facilitator
24	Gunter Mussbacher, Jörg Kienzle, Daniel Amyot	Transformation of aspect-oriented requirements specifications for reactive systems into aspect-oriented design specifications.	MoDRE	2011	DBLP DOI BibTeX RDF
23	Daniel Popescu 0001, Spencer Rugaber, Nenad Medvidovic, Daniel M. Berry	Reducing Ambiguities in Requirements Specifications Via Automatically Created Object-Oriented Models.	Monterey Workshop	2007	DBLP DOI BibTeX RDF
23	Bikram Sengupta, Rance Cleaveland	Executable Requirements Specifications Using Triggered Message Sequence Charts.	ICDCIT	2005	DBLP DOI BibTeX RDF
23	Jan Scheffczyk, Uwe M. Borghoff, Andreas Birk 0001, Johannes Siedersleben	Pragmatic Consistency Management in Industrial Requirements Specifications.	SEFM	2005	DBLP DOI BibTeX RDF
23	Alessandra Russo, Rob Miller 0002, Bashar Nuseibeh, Jeff Kramer	An Abductive Approach for Analysing Event-Based Requirements Specifications.	ICLP	2002	DBLP DOI BibTeX RDF
23	Artur S. d'Avila Garcez, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer	An Analysis-Revision Cycle to Evolve Requirements Specifications.	ASE	2001	DBLP DOI BibTeX RDF
23	Zaiwen Feng, Keqing He, Yutao Ma, Jian Wang 0018, Ping Gong 0004	Towards Individualized Requirements Specification Evolution for Networked Software Based on Aspect.	ICSP	2008	DBLP DOI BibTeX RDF	evolution, requirements specification, aspect, OWL-S
23	Mats Per Erik Heimdahl	Experiences and Lessons from the Analysis of TCAS II.	ISSTA	1996	DBLP DOI BibTeX RDF
21	Ana Belén Barragáns-Martínez, José Juan Pazos-Arias	chi-SCTL/MUS: A Formal Methodology to Evolve Multi-Perspective Software Requirements Specifications.	ICSE	2004	DBLP DOI BibTeX RDF	Requirements Refinement, Unspecification, Specification Evolution, Multi-Perspective Environment, Viewpoints, Inconsistency
21	Vidyasagar Uddagiri, Lingachary Eswarachary, Manigandan Jagadeesan, Vishal Kharat	Improving the Quality of Requirements in Middleware Requirements Specifications.	RE	2020	DBLP DOI BibTeX RDF
21	Oliver Karras, Ahmad Hamadeh, Kurt Schneider	Enriching Requirements Specifications with Videos - The Use of Videos to Support Requirements Communication.	Softwaretechnik-Trends	2018	DBLP BibTeX RDF
21	Jonas Paul Winkler, Andreas Vogelsang	Using Tools to Assist Identification of Non-requirements in Requirements Specifications - A Controlled Experiment.	REFSQ	2018	DBLP DOI BibTeX RDF
21	Patrick Kummler	Towards Requirements Analytics: A Research Agenda to Model and Evaluate the Quality of Unstructured Requirements Specifications.	IESS	2017	DBLP DOI BibTeX RDF
21	Alberto Rodrigues da Silva	Quality of Requirements Specifications - A Framework for Automatic Validation of Requirements.	ICEIS (2)	2014	DBLP DOI BibTeX RDF
21	Shinobu Saito, Mutsuki Takeuchi, Masatoshi Hiraoka, Tsuyoshi Kitani, Mikio Aoyama	Requirements clinic: Third party inspection methodology and practice for improving the quality of software requirements specifications.	RE	2013	DBLP DOI BibTeX RDF
21	Yoshitaka Iyoda, Atsushi Ohnishi	Software Requirements Parts for Construction of Software Requirements Specifications.	ICSOFT	2013	DBLP DOI BibTeX RDF
21	Abderahman Rashwan	Semantic Analysis of Functional and Non-Functional Requirements in Software Requirements Specifications.	Canadian AI	2012	DBLP DOI BibTeX RDF
21	Nadzeya Kiyavitskaya, Nicola Zeni, Luisa Mich, Daniel M. Berry	Requirements for Tools for Ambiguity Identification and Measurement in Natural Language Requirements Specifications.	WER	2007	DBLP BibTeX RDF
21	Jytte Brender, Peter McNair	User requirements specifications: a hierarchical structure covering strategical, tactical and operational requirements.	Int. J. Medical Informatics	2001	DBLP DOI BibTeX RDF
21	Dorothy R. Graham	Testing to Improve Requirements - Mission Impossible?	RE	2006	DBLP DOI BibTeX RDF
20	Lori A. Clarke	Getting the Details Right.	Monterey Workshop	2007	DBLP DOI BibTeX RDF	Requirements engineering, Finite-state verification, Property specifications, Medical Safety
20	Douglas R. Smith	Comprehension by Derivation.	IWPC	2005	DBLP DOI BibTeX RDF
20	Stephen Boyd 0001, Didar Zowghi, Vincenzo Gervasi	Optimal-Constraint Lexicons for Requirements Specifications.	REFSQ	2007	DBLP DOI BibTeX RDF
20	Alexander Kozlenkov, Andrea Zisman	Are their Design Specifications Consistent with our Requirements?	RE	2002	DBLP DOI BibTeX RDF
20	Klaas Brink, Leon J. G. Bun, Jan van Katwijk, Ronald F. Lutje Spelberg, W. J. Toetenel	Automatic Analysis of Embedded Systems Specified in Astral.	HICSS (3)	1998	DBLP DOI BibTeX RDF
20	Gilles Perrouin, Erwan Brottier, Benoit Baudry, Yves Le Traon	Composing Models for Detecting Inconsistencies: A Requirements Engineering Perspective.	REFSQ	2009	DBLP DOI BibTeX RDF	model-driven requirements engineering, flexible inconsistency management, model composition
20	Petra Heck, Päivi Parviainen	Experiences on Analysis of Requirements Quality.	ICSEA	2008	DBLP DOI BibTeX RDF
20	Ramin Tavakoli Kolagari, Mark-Oliver Reiser	Reusing Requirements: The Need for Extended Variability Models.	FSEN	2007	DBLP DOI BibTeX RDF	complex variability, requirements engineering, software product lines, automotive systems, variability modeling
18	Ingo Pill, Simone Semprini, Roberto Cavada, Marco Roveri, Roderick Bloem, Alessandro Cimatti	Formal analysis of hardware requirements.	DAC	2006	DBLP DOI BibTeX RDF	property assurance, property simulation, specification, requirements analysis, hardware design
18	Magne Jørgensen, Stein Grimstad	The Impact of Irrelevant and Misleading Information on Software Development Effort Estimates: A Randomized Controlled Field Experiment.	IEEE Trans. Software Eng.	2011	DBLP DOI BibTeX RDF	Cost estimation, requirements/specifications, software psychology
18	Lee M. Hively, Frederick T. Sheldon, Anna Cinzia Squicciarini	Toward Scalable Trustworthy Computing Using the Human-Physiology-Immunity Metaphor.	IEEE Secur. Priv.	2011	DBLP DOI BibTeX RDF	C.2.2 Network Protocols, trust establishment system, acces control models, K.6.5.a Authentication, K.6.5 Security and Protection, D.4.6.a Access controls, A.1 Introductory and Survey, C.2.0.f Network-level security and protection, C.4.f Reliability, D.2.15 Software and System Safety, Security, Software Engineering, Reliability, formal methods, Validation, Dependability, negotiations, peer to peer system, Statistical Methods, Testing strategies, Requirements/Specifications, availability and serviceability, Software/Program Verification
18	Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker	Learning Communicating Automata from MSCs.	IEEE Trans. Software Eng.	2010	DBLP DOI BibTeX RDF	Software engineering/requirements/specifications/elicitation methods, software engineering/design/design concepts, computing methodologies/artificial intelligence/learning/induction, theory of computation/computation by abstract devices/models of computation/automata
18	Isabel John	Using Documentation for Product Line Scoping.	IEEE Softw.	2010	DBLP DOI BibTeX RDF	product line scoping, user documentation, product line analysis, elicitation methods, software engineering, domain engineering, product line engineering, elicitation, reusable software, requirements/specifications
18	Jorge García Duque, José Juan Pazos-Arias, Martín López Nores, Yolanda Blanco-Fernández, Ana Fernández Vilas, Rebeca P. Díaz Redondo, Manuel Ramos Cabrer, Alberto Gil-Solla	Methodologies to evolve formal specifications through refinement and retrenchment in an analysis-revision cycle.	Requir. Eng.	2009	DBLP DOI BibTeX RDF	Analysis-revision, Formal requirements specifications, Refinement, Retrenchment
18	Martin Nordio, Roman Mitin, Bertrand Meyer 0001, Carlo Ghezzi, Elisabetta Di Nitto, Giordano Tamburrelli	The Role of Contracts in Distributed Development.	SEAFOOD	2009	DBLP DOI BibTeX RDF	Contracts, Distributed Development, Interface Specifications, Software Requirements Specifications
18	Daniela E. Damian, Filippo Lanubile, Teresa Mallardo	On the Need for Mixed Media in Distributed Requirements Negotiations.	IEEE Trans. Software Eng.	2008	DBLP DOI BibTeX RDF	Experimental design, Requirements/Specifications, Asynchronous interaction, Distributed/Internet based software engineering tools and techniques, Synchronous interaction
18	María José Escalona Cuaresma, Gustavo Aragón	NDT. A Model-Driven Approach for Web Requirements.	IEEE Trans. Software Eng.	2008	DBLP DOI BibTeX RDF	Software engineering for Internet projects, Surveys of historical development of one particular area, Requirements/Specifications
18	Charles B. Haley, Robin C. Laney, Jonathan D. Moffett, Bashar Nuseibeh	Security Requirements Engineering: A Framework for Representation and Analysis.	IEEE Trans. Software Eng.	2008	DBLP DOI BibTeX RDF	Security, Requirements/Specifications, Software/Software Engineering
18	Travis D. Breaux, Annie I. Antón	Analyzing Regulatory Rules for Privacy and Security Requirements.	IEEE Trans. Software Eng.	2008	DBLP DOI BibTeX RDF	Legal Aspects of Computing, Requirements/Specifications, Security and Privacy Protection
18	Jon G. Hall, Lucia Rapanotti, Michael Jackson 0001	Problem Oriented Software Engineering: Solving the Package Router Control Problem.	IEEE Trans. Software Eng.	2008	DBLP DOI BibTeX RDF	Software Engineering, Methodologies, Requirements/Specifications
18	Natalia Juristo Juzgado, Ana María Moreno 0001, María Isabel Sánchez Segura	Guidelines for Eliciting Usability Functionalities.	IEEE Trans. Software Eng.	2007	DBLP DOI BibTeX RDF	usability features elicitation, Elicitation methods, Requirements/Specifications, Usability requirements
18	Jim Azar, Randy K. Smith, David Cordes	Value-Oriented Requirements Prioritization in a Small Development Organization.	IEEE Softw.	2007	DBLP DOI BibTeX RDF	software engineering, value-based software engineering, requirements/specifications
18	Mani Thomas, Chandra Kambhamettu, Cathleen A. Geiger, J. Hutchings, M. Engram	Near-real time motion analysis for APLIS 2007: a systems modeling perspective.	GIS	2007	DBLP DOI BibTeX RDF	cryosphere, discontinuity identification, near-real time motion analysis, unified modeling language, requirements specifications, use case modeling, map building
18	Feisal Keblawi, Dick Sullivan	Applying the Common Criteria in Systems Engineering.	IEEE Secur. Priv.	2006	DBLP DOI BibTeX RDF	protection profiles, aviation security, software engineering, requirements analysis, systems engineering, requirements specifications, security engineering, Common Criteria
18	Tom Rothamel, Yanhong A. Liu, Constance L. Heitmeyer, Elizabeth I. Leonard	Generating optimized code from SCR specifications.	LCTES	2006	DBLP DOI BibTeX RDF	optimization, formal specifications, code generation, requirements specifications, SCR, code synthesis
18	Víctor A. Braberman, Nicolas Kicillof, Alfredo Olivero	A Scenario-Matching Approach to the Description and Model Checking of Real-Time Properties.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	scenario-based verification, model checking, formal methods, Requirements/specifications
18	Jeffrey Parsons, Chad Saunders	Cognitive Heuristics in Software Engineering: Applying and Extending Anchoring and Adjustment to Artifact Reuse.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	human factors in software design, reusable software, requirements/specifications, Software psychology, reuse models, reusable libraries
18	Christian Kirkegaard, Anders Møller, Michael I. Schwartzbach	Static Analysis of XML Transformations in Java.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	markup languages, requirements/specifications, Language constructs and features
18	Robyn R. Lutz, Ines Carmen Mikulski	Ongoing Requirements Discovery in High-Integrity Systems.	IEEE Softw.	2004	DBLP DOI BibTeX RDF	requirements/specifications management, maintenance and enhancement, software and system safety, error processing, distribution, product metrics
18	Stig Nordheim, Maung K. Sein	Application domain competence in software requirements: deconstructing a unified approach.	SIGCPR	2002	DBLP DOI BibTeX RDF	requirements/specifications - elicitation methods, IT workforce, personnel, IT skills
18	William Chan 0001, Richard J. Anderson, Paul Beame, David H. Jones, David Notkin, William E. Warner	Optimizing Symbolic Model Checking for Statecharts.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	TCAS II, partitioned transition relation, automatic abstraction, fault tolerance, Formal verification, binary decision diagrams, statecharts, requirements specifications, symbolic model checking, RSML, avionic systems
18	Steve M. Easterbrook	Verification and Validation of Requirements for Mission Critical Systems.	ICSE	1999	DBLP DOI BibTeX RDF	V&V, embedded systems, requirements modeling, lightweight formal methods, software requirements specifications
18	Jonathan Lee, John-Yih Kuo	New Approach to Requirements Trade-Off Analysis for Complex Systems.	IEEE Trans. Knowl. Data Eng.	1998	DBLP DOI BibTeX RDF	Vague requirements, requirements trade-off analysis, requirements classification, fuzzy logic, requirements specifications
18	Susana Stoica	A lifecycle approach to design validation is it necessary? Is it feasible?	ITC	1998	DBLP DOI BibTeX RDF	Lifecycle test, system approach to design and test, Robust Test Methodology (RTM), Design Validation (DV), software /hardware test methods, requirements specifications test, QA-type testing, Test Plan (TP) boilerplate, test optimization considering full lifecycle DV, black box testing, white box testing
18	Ayaz Isazadeh, David Alex Lamb, Glenn H. MacEwen	Behavioral Views for Software Requirements Engineering.	ECBS	1996	DBLP DOI BibTeX RDF	Formal Methods, Statecharts, Requirements Specifications