Search results for "requirements/specification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
54	Nancy G. Leveson, Mats Per Erik Heimdahl, Holly Hildreth, Jon Damon Reese	Requirements Specification for Process-Control Systems.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	aircraft instrumentation, example application, industrial aircraft collision avoidance system, TCAS II, example specification, formal requirements specification, formal specification, reverse engineering, specification languages, specification language, formal model, requirements specification, process control, aerospace computing, process-control systems, position control, process computer control
54	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
48	Mari Carmen Suárez-Figueroa, Asunción Gómez-Pérez, Boris Villazón-Terrazas	How to Write and Use the Ontology Requirements Specification Document.	OTM Conferences (2)	2009	DBLP DOI BibTeX RDF	Ontology Requirements, Competency Questions, Ontology Requirements Specification and Methodologies
44	Morten Hertzum	Small-Scale Classification Schemes: A Field Study of Requirements Engineering.	Comput. Support. Cooperative Work.	2004	DBLP DOI BibTeX RDF	small-scale classification, requirements engineering, coordination, requirements specification, cooperative work, conceptual design, classification schemes
43	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
42	Joanne M. Atlee, John A. McDermid	Integrating requirements analysis and safety analysis.	RE	1995	DBLP DOI BibTeX RDF	system safety requirements, design description, formal specification, systems analysis, requirements analysis, requirements specification, safety critical systems, safety-critical software, safety critical software, functional requirements, safety analysis, high level design
41	Barrett R. Bryant	Object-Oriented Natural Language Requirements Specification.	ACSC	2000	DBLP DOI BibTeX RDF	Unified Modeling Language (UML), natural language, object-oriented design, requirements specification, software development environment, Two-Level Grammar
40	Satyajit Acharya, Chris George, Hrushikesha Mohanty	Domain Consistency in Requirements Specification.	QSIC	2005	DBLP DOI BibTeX RDF	Consistency Conditions, Testing, Specification, RAISE, RSL
39	Aphrodite Tsalgatidou, Vassileios Karakostas, Pericles Loucopoulos	Rule-Based Requirements Specification and Validation.	CAiSE	1990	DBLP DOI BibTeX RDF	Petri-nets, animation, logic programming, conceptual modelling, requirements specification, rule bases, executable specifications
38	Edwin D. de Jong, Jaco van de Pol, Jozef Hooman	Refinement in Requirements Specification and Analysis: A Case Study.	ECBS	2000	DBLP DOI BibTeX RDF	requirements specification and analysis, formal methods, refinement, theorem provers
36	Annie I. Antón, Ryan A. Carter, Aldo Dagnino, John H. Dempster, Devon F. Siege	Deriving Goals from a Use-Case Based Requirements Specification.	Requir. Eng.	2001	DBLP DOI BibTeX RDF	Goal-based requirements engineering, Use cases, Requirements specification
36	Laurence James	Automatic requirements specification update processing from a requirements management tool perspective.	ECBS	1997	DBLP DOI BibTeX RDF
34	Mats Per Erik Heimdahl	Experiences and Lessons from the Analysis of TCAS II.	ISSTA	1996	DBLP DOI BibTeX RDF
34	Barrett R. Bryant, Beum-Seuk Lee	Two-Level Grammar as an Object-Oriented Requirements Specification Language.	HICSS	2002	DBLP DOI BibTeX RDF	Object-Oriented Software Construction, Formal Specification, Vienna Development Method, Two-Level Grammar
34	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
34	Atsushi Ohnishi	Software Requirements Specification Database Based on Requirements Frame Model.	ICRE	1996	DBLP DOI BibTeX RDF	requirements specification, requirements model, requirements definition
34	Martin J. Diepstraten	Command and control system requirements analysis. System requirements specification tactical system CUP CMT.	ICECCS	1995	DBLP DOI BibTeX RDF	command and control system requirements analysis, system requirements specification tactical system, CUP CMT, user requirements analysis, process and information analysis, technical system analysis, system-oriented level, system reengineering, integrated tool support, rapid prototyping, systems analysis, software prototyping, systems re-engineering, information analysis, structured approach, command and control systems
34	Renuka Sindhgatta, Srinivas Thonse	Functional and Non-functional Requirements Specification for Enterprise Applications.	PROFES	2005	DBLP DOI BibTeX RDF
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
33	Daniel M. Berry, Khuzaima Daudjee, Jing Dong 0005, Igor Fainchtein, Maria Augusta V. Nelson, Torsten Nelson, Lihua Ou	User's manual as a requirements specification: case studies.	Requir. Eng.	2004	DBLP DOI BibTeX RDF	Users manual, Scenarios, Requirements specification, Requirements elicitation, Test cases, Requirements validation
33	Martin Glinz	Problems and Deficiencies of UML as a Requirements Specification Language.	IWSSD	2000	DBLP BibTeX RDF	model, UML, decomposition, use case, requirements specification
33	Shaoying Liu	A user-friendly formal requirements specification method.	ACM Southeast Regional Conference	1992	DBLP DOI BibTeX RDF	Formal requirements specification, Formal methods, Requirements analysis, Consistency analysis
32	Klaas Brink, Jan van Katwijk, Ronald F. Lutje Spelberg, W. J. Toetenel	Experiences with analysis of formal specifications in Astral.	RTCSA	1997	DBLP DOI BibTeX RDF	temporal properties verification, simulation, formal specification, formal specifications, prototyping, specification language, timed automata, timing analysis, requirements specification, real-time software, Astral
32	Raimundas Matulevicius	How Requirements Specification Quality Depends on Tools: A Case Study.	CAiSE	2004	DBLP DOI BibTeX RDF
32	Martin D. Fraser, Kuldeep Kumar, Vijay K. Vaishnavi	Informal and Formal Requirements Specification Languages: Bridging the Gap.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	informal languages, requirements specification languages, rule-based method, payroll system, payroll data processing, formal specification, specification languages, systems analysis, formal languages, formal languages, structured analysis, VDM, Vienna development method
31	Anne Mauboussin, H. Perdrix, Michel Bidoit, Marie-Claude Gaudel, Jacques Hagelstein	From an ERAE Requirements Specification to a PLUSS Algebraic Specificatiaon: A Case Study.	Algebraic Methods	1989	DBLP DOI BibTeX RDF
31	Ali H. Dogru, Suzanne N. Delcambre, Coskun Bayrak, Yuan-Tsong Chen, Eric S. Chan, W. Yin, M. G. Christiansen, Murat M. Tanik	An integrated system design environment: Concepts and a status report.	J. Syst. Integr.	1992	DBLP DOI BibTeX RDF	rapid prototyping, Requirements specification, integrated environments
31	Michael L. Edwards, Matt Flanzer, Mark Terry, Joseph Landa	RECAP: a requirements elicitation, capture and analysis process prototype tool for large complex systems.	ICECCS	1995	DBLP DOI BibTeX RDF	RECAP, requirements elicitation capture and analysis process prototype tool, large complex system development, consistent requirements, correct requirements, complete requirements, requirement use, requirement capture, requirement identification, natural language parsing, knowledge-based rules, semiautomatic capture elicitation analysis, unformatted natural language text, requirement translation, concise requirements data, user defined views, domain specific rules, formal specification, software tools, knowledge based systems, systems analysis, natural languages, requirement analysis, requirements specification, automated assistance, system life-cycle
30	Christoph M. Kirchsteiger, Christoph Trummer, Christian Steger, Reinhold Weiss, Markus Pistauer	Specification-based Verification of Embedded Systems by Automated Test Case Generation.	DIPES	2008	DBLP DOI BibTeX RDF
30	David W. Cordes, Doris L. Carver	Generating a requirements specifications knowledge-base.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF
30	Petr Kroha	Preprocessing of Requirements Specification.	DEXA	2000	DBLP DOI BibTeX RDF
29	Jan Hendrik Hausmann, Reiko Heckel, Gabriele Taentzer	Detection of conflicting functional requirements in a use case-driven approach: a static analysis technique based on graph transformation.	ICSE	2002	DBLP DOI BibTeX RDF	UML, use cases, requirements specification, graph transformation, unified process
29	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
28	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
28	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
28	Kim Lauenroth, Klaus Pohl	Towards automated consistency checks of product line requirements specifications.	ASE	2007	DBLP DOI BibTeX RDF	requirements engineering, consistency, product line
28	Ivan Jureta, Stéphane Faulkner, Philippe Thiran	Dynamic Requirements Specification for Adaptable and Open Service-Oriented Systems.	ICSOC	2007	DBLP DOI BibTeX RDF
28	Patrik Forsgren, Tomas Rahkonen	Specification of customer and user requirements in industrial control system procurement projects.	RE	1995	DBLP DOI BibTeX RDF	power system control, user requirements specification, customer requirements specification, industrial control system procurement projects, power industries, manufacturing industries, process industries, customer expectations, major users, major vendors, performance, formal specification, costing, functionality, process control, distributed control, software systems, computer systems, user needs, consultants, industrial control, SCADA systems, load management
28	David de Almeida Ferreira, Alberto Rodrigues da Silva	A requirements specification case study with ProjectIT-studio/requirements.	SAC	2008	DBLP DOI BibTeX RDF	NLP techniques, specification, validation, requirements, CASE tool, controlled natural language
28	Sebastián Uchitel, Jeff Kramer, Jeff Magee	Synthesis of Behavioral Models from Scenarios.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	scenario-based specification, sequence chart combination, requirements analysis, Requirements specification, Message Sequence Charts
28	Jaroslav Král, Michal Zemlicka	Requirements Specification: What Strategy Under What Conditions.	SERA	2007	DBLP DOI BibTeX RDF	requirements specification in SOA, software confederations, agility in SOA, user-oriented service interfaces, data-driven systems, batch systems, data stores in SOA
28	Nicolas Dulac, Thomas Viguier, Nancy G. Leveson, Margaret-Anne D. Storey	On the Use of Visualization in Formal Requirements Specification.	RE	2002	DBLP DOI BibTeX RDF	visualization, formal methods, Requirements specification
28	Gerald Kotonya	Practical Experience with Viewpoint-Oriented Requirements Specification.	Requir. Eng.	1999	DBLP DOI BibTeX RDF	Experience, Requirements specification, Case study, Viewpoints, Requirements definition
28	Tereza G. Kirner, Janaina Cintra Abib	Inspection of Software Requirements Specification Documents: A Pilot Study.	SIGDOC	1997	DBLP DOI BibTeX RDF	inspection techniques, software requirements specification document, empirical study
27	Shinji Kusumoto, Katsuro Inoue, Takashi Kasimoto, Ayane Suzuki, Katsuhiko Yuura, Michio Tsuda	Function Point Measurement for Object-Oriented Requirements Specification.	COMPSAC	2000	DBLP DOI BibTeX RDF
27	Manar AbuTalib, Adel Khelifi, Alain Abran, Olga Ormandjieva	Assessment of Real-Time Software Specifications Quality Using COSMIC-FFP.	IWSM/Mensura	2007	DBLP DOI BibTeX RDF	ISO 19761, system-level requirements specification, codesign, functional size measurement, COSMIC-FFP
27	William Bail	An Approach to Defining Requirements for Exceptions.	Advanced Topics in Exception Handling Techniques	2006	DBLP DOI BibTeX RDF	exception handling, requirements specification, state machines, usage models
27	Saeid Arabestani, Friedemann Bitsch, Jan-Tecker Gayen	Precise Definition of the Single-Track Level Crossing in Radio-Based Operation in UML Notation and Specification of Safety Requirements.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF	safety requirements specification, safety patterns, radio-based train control system (FFB), UML, object orientation, level crossing
27	Michelle M. Hugue, Richard C. Scalzo	Specifying fault tolerance in large complex computing systems.	ICECCS	1995	DBLP DOI BibTeX RDF	fault tolerance specification, large complex computing systems, requirements specification phase, fault hypothesis, partially correct system, system fault hypothesis, health management function, performance, real-time systems, reliability, formal specification, integrity, fault tolerant computing, software reliability, availability, safety, confidentiality, software performance evaluation, maintainability, timeliness, quality of service requirements, system behaviors, system life-cycle, dependability constraints
26	Allen H. Dutoit, Barbara Paech	Rationale-Based Use Case Specification.	Requir. Eng.	2002	DBLP DOI BibTeX RDF	QOC, Qualitative case studies, Rationale management, Use cases, Requirements specification
26	Atsushi Ohnishi, Norihiro Tokuda	Visual software requirements definition environment.	COMPSAC	1997	DBLP DOI BibTeX RDF	visual software requirements definition environment, visual software requirements specification, visual requirements language, icon movements, scenario description, visual software requirements definition, multiple developers, semantics, animation, visual programming, network system
26	Stuart R. Faulk	Product-Line Requirements Specification (PRS): An Approach and Case Study.	RE	2001	DBLP DOI BibTeX RDF
25	Nancy G. Leveson, Stephen S. Cha, John C. Knight, Timothy J. Shimeall	The Use of Self Checks and Voting in Software Error Detection: An Empirical Study.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	software error detection, N-version voting, code-based checks, fault tolerant computing, software reliability, requirements specification, voting, self checks
25	Stanislaw Szejko	Requirements Driven Quality Control.	COMPSAC	2002	DBLP DOI BibTeX RDF	quality tree model, QFD method, GQM approach, requirements specification, quality control
25	Bente Anda, Dag I. K. Sjøberg, Magne Jørgensen	Quality and Understandability of Use Case Models.	ECOOP	2001	DBLP DOI BibTeX RDF	UML, Experiment, Requirements specification, Object-oriented analysis, Understandability, Use Cases
25	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
25	Mohammad Feroz Raihan, Mohammad Zulkernine	Detecting Intrusions Specified in a Software Specification Language.	COMPSAC (1)	2005	DBLP DOI BibTeX RDF
24	Arnis Daugulis	Time Aspects in Requirements Engineering: Or 'Every Cloud Has A Silver Lining'.	Requir. Eng.	2000	DBLP DOI BibTeX RDF	Power industry, Procurement project, Request for Proposals, Requirements engineering, System engineering, Requirements specification
24	R. E. M. Champion, Trevor T. Moores	Exploiting an enterprise model during systems' requirements capture and analysis.	ICRE	1996	DBLP DOI BibTeX RDF	system requirements capture, enterprise information, business process components, quantifiable goals, requirements statements, enterprise objectives, iterative construction, customer requirements, requirements engineering phase, formal specification, information systems, software development, consistency, business processes, systems analysis, business data processing, enterprise model, business objectives, software requirements specification, business environment
24	Jantima Polpinij, Aditya Ghose	An Automatic Elaborate Requirement Specification By Using Hierarchical Text Classification.	CSSE (1)	2008	DBLP DOI BibTeX RDF
24	Norah Power, Tony Moynihan	A theory of requirements documentation situated in practice.	SIGDOC	2003	DBLP DOI BibTeX RDF	framework, requirements, documents, practice, situations
24	Shuang-Hua Yang, L. S. Tan, X. Chen	Requirements Specification and Architecture Design for Internet-Based Control Systems.	COMPSAC	2002	DBLP DOI BibTeX RDF
24	Marc K. Zimmerman, Kristina Lundqvist, Nancy G. Leveson	Investigating the readability of state-based formal requirements specification languages.	ICSE	2002	DBLP DOI BibTeX RDF
24	Nan C. Shu, Harry K. T. Wong, Vincent Y. Lum	Forms Approach to Requirements Specification for Database Design.	SIGMOD Conference	1983	DBLP DOI BibTeX RDF
24	Hye Yeon Kim, Frederick T. Sheldon	Testing Software Requirements with Z and Statecharts Applied to an Embedded Control System.	Softw. Qual. J.	2004	DBLP DOI BibTeX RDF	requirements specification and validation, fault-tolerance, consistency, completeness, Statecharts, Z
23	Soeli T. Fiorini, Julio César Sampaio do Prado Leite, T. Diana L. v. A. de Macedo-Soares	Integrating business processes with requirements elicitation.	WETICE	1996	DBLP DOI BibTeX RDF	total quality principles, process information, business data, structured access, requirements specification representation, ISO 9001 standards, requirements engineering, conceptual model, hypertext, requirements elicitation, business data processing, information structuring, business process integration, business engineering
22	Patrick Heymans, Eric Dubois 0001	Scenario-Based Techniques for Supporting the Elaboration and the Validation of Formal Requirements.	Requir. Eng.	1998	DBLP DOI BibTeX RDF	Formal methods, Animation, Scenarios, Message sequence charts
22	Ivica Crnkovic, Peter J. Funk, Magnus Larsson	Processing Requirements by Software Configuration Management.	EUROMICRO	1999	DBLP DOI BibTeX RDF
22	Carlos Videira, David de Almeida Ferreira, Alberto Rodrigues da Silva	A Linguistic Patterns Approach for Requirements Specification.	EUROMICRO-SEAA	2006	DBLP DOI BibTeX RDF
22	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
22	Mats Per Erik Heimdahl, David J. Keenan	Generating Code from Hierarchical State-Based Requirements.	RE	1997	DBLP DOI BibTeX RDF	hierarchical state-based requirements, safety-critical embedded computer systems, environmental damage, monetary loss, Irvine Safety Research Group, requirements specification language, Requirements State Machine Language, formal specification, code generation, system complexity, RSML
22	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
22	Khairuddin Hashim, Johan Yousoff	A Behavioral Requirements Specification Approach for Interactive Multimedia Applications.	Australian Software Engineering Conference	2008	DBLP DOI BibTeX RDF	interactive, specification, requirements engineering, multimedia Applications
22	Catherine Meadows 0001	What Makes a Cryptographic Protocol Secure? The Evolution of Requirements Specification in Formal Cryptographic Protocol Analysis.	ESOP	2003	DBLP DOI BibTeX RDF
21	Spyros T. Halkidis, Alexander Chatzigeorgiou, George Stephanides	Moving from Requirements to Design Confronting Security Issues: A Case Study.	OTM Conferences (2)	2009	DBLP DOI BibTeX RDF	Misuse Cases, Requirements Specification, Software Security, Risk Analysis, Security Patterns
21	William Chan 0001, Richard J. Anderson, Paul Beame, David Notkin	Improving Efficiency of Symbolic Model Checking for State-Based System Requirements.	ISSTA	1998	DBLP DOI BibTeX RDF	TCAS II, partitioned transition relation, system requirements specification, formal verification, abstraction, binary decision diagrams, statecharts, reachability analysis, symbolic model checking, RSML
21	Maik Kollmann	Anforderungsspezifikation, Verhaltensspezifikation und Überprüfung objektorientierter Stellwerke mit Multi-Objektlogiken, UML-Zustandsdiagrammen und Multi-Object Checking (Requirements Specification, Behavioral Specification and Checking of object-oriented Interlocking Systems using Multi-Object Logics, UML State Machines and Multi-Object Checking)		2008	DOI RDF
21	Pierluigi San Pietro, Angelo Morzenti, Sandro Morasca	Generation of Execution Sequences for Modular Time Critical Systems.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	time critical systems, modular notations, formal specifications, Functional testing, structural testing, specification testing
21	Haruhiko Kaiya, Masaaki Tanigawa, Shunichi Suzuki, Tomonori Sato, Kenji Kaijiri	Spectrum Analysis for Quality Requirements by Using a Term-Characteristics Map.	CAiSE	2009	DBLP DOI BibTeX RDF	Requirements1 Analysis, Non-functional Requirements, Quality Requirements
21	Elzbieta Malinowski, Esteban Zimányi	Requirements Specification and Conceptual Modeling for Spatial Data Warehouses.	OTM Workshops (2)	2006	DBLP DOI BibTeX RDF
21	M. G. Ilieva, Olga Ormandjieva	Automatic Transition of Natural Language Software Requirements Specification into Formal Presentation.	NLDB	2005	DBLP DOI BibTeX RDF
21	Jonah Z. Lavi, Joseph Kudish	Systems Modeling & Requirements Specification Using ECSAM: A Method for Embedded Computer-Based Systems Analysis.	ECBS	2004	DBLP DOI BibTeX RDF
20	Patricia McCarthy, Adam A. Porter, Harvey P. Siy, Lawrence G. Votta	An experiment to assess cost-benefits of inspection meetings and their alternatives: a pilot study.	IEEE METRICS	1996	DBLP DOI BibTeX RDF	cost-benefit assessment, inspection meetings, meetingless inspections, inspection round, presentation order, fault detection rate, formal specification, program verification, requirements specification, software verification, program debugging, data collection, software development management, software development management, software cost estimation, cost-benefit analysis, industrial case studies, inspection method, graduate students
20	Frederick I. Moxley	On the specification of complex software systems.	ICECCS	1996	DBLP DOI BibTeX RDF	complex software systems specification, Defense Information Infrastructure, Common Operating Environment, distributed heterogeneous information systems, starwars missile defence system, formal specification, requirements specification, design specification
20	Giancarlo Nota, Giuliano Pacini	Querying of Executable Software Specifications.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	executable software specifications, requirements specification phase, external events, language RSQ, RSF, formal specification, query languages, specification languages, specification languages, querying, rapid prototyping, software designer, time constraints, software prototyping
20	Pedro Valderas, Vicente Pelechano	Improving Communication in Requirements Engineering Activities for Web Applications.	ICWE	2007	DBLP DOI BibTeX RDF
20	Atsushi Ohnishi	CARD: An Environment for Software Requirements Definition.	APSEC	1995	DBLP DOI BibTeX RDF	software design, software specification, requirements definition
20	Nancy A. Day, Jeffrey J. Joyce	A Framework for Multi-Notation Requirements Specification and Analysis.	ICRE	2000	DBLP DOI BibTeX RDF
20	Daniel M. Berry	Requirements Engineering for Artificial Intelligence: What Is a Requirements Specification for an Artificial Intelligence?	REFSQ	2022	DBLP DOI BibTeX RDF
20	Sebastiano Panichella, Marcela Ruiz	Requirements-Collector: Automating Requirements Specification from Elicitation Sessions and User Feedback.	RE	2020	DBLP DOI BibTeX RDF
20	Muhammad Asif 0002, Ishfaq Ali, Muhamad Sheraz Arshed Malik, Muhammad Hasanain Chaudary, Shahzadi Tayyaba, Muhammad Tariq Mahmood	Annotation of Software Requirements Specification (SRS), Extractions of Nonfunctional Requirements, and Measurement of Their Tradeoff.	IEEE Access	2019	DBLP DOI BibTeX RDF
20	Michiyo Wakimoto, Shuji Morisaki, Shuichiro Yamamoto	A Case Study of Requirements Ambiguities and Goal-oriented Focused Requirements Specification.	IIAI-AAI	2019	DBLP DOI BibTeX RDF
20	José Luis Fernández Alemán, Juan Manuel Carrillo de Gea, Joaquín Vidal Meca, Joaquín Nicolás Ros, Ambrosio Toval, Ali Idri	Effects of Using Requirements Catalogs on Effectiveness and Productivity of Requirements Specification in a Software Project Management Course.	IEEE Trans. Educ.	2016	DBLP DOI BibTeX RDF
20	Tobias Morciniec, Andreas Podelski	Using the requirements specification to infer the implicit test status of requirements.	RE	2015	DBLP DOI BibTeX RDF
20	Dagný Hauksdottir, Niels Henrik Mortensen, Poul Erik Nielsen	Identified adjustability dimensions when generating a product specific requirements specification by requirements reuse.	Comput. Ind.	2014	DBLP DOI BibTeX RDF
20	Yoshitaka Aoki, Saeko Matsuura	Verifying security requirements using model checking technique for UML-based requirements specification.	RET	2014	DBLP DOI BibTeX RDF
20	Tom Gilb	What's Wrong with Requirements Specification? An Analysis of the Fundamental Failings of Conventional Thinking about Software Requirements, and Some Suggestions for Getting it Right.	J. Softw. Eng. Appl.	2010	DBLP DOI BibTeX RDF
20	Wen-jie Yuan, Shi Ying	A Reflective Requirements Specification for Requirements Evolving.	WGEC	2009	DBLP DOI BibTeX RDF
20	Erik Kamsties, Antje von Knethen, Jan Philipps, Bernhard Schätz	An Empirical Investigation of Requirements Specification Languages: Detecting Defects While Formalizing Requirements.	Information Modeling Methods and Methodologies	2005	DBLP BibTeX RDF
20	Jennitta Andrea, Gerard Meszaros	Agile Requirements: Tailoring the Functional Requirements Specification Process to Improve Agility.	XP/Agile Universe	2004	DBLP DOI BibTeX RDF