Search results for "requirements/specification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	D. N. J. Mostert, Sebastiaan H. von Solms	A technique to include computer security, safety, and resilience requirements as part of the requirements specification.	J. Syst. Softw.	1995	DBLP DOI BibTeX RDF
20	Günther Pospischil, Martina Umlauft, Elke Michlmayr	Designing LoL@, a Mobile Tourist Guide for UMTS.	Mobile HCI	2002	DBLP DOI BibTeX RDF	Electronic Guide, Semi-Formal Requirements Specification, Location Based Service, Mobile Internet
20	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
19	Haruhiko Kaiya, Motoshi Saeki	Ontology Based Requirements Analysis: Lightweight Semantic Processing Approach.	QSIC	2005	DBLP DOI BibTeX RDF	Lightweight semantic processing, Requirements Engineering, Thesaurus
19	Chethana Kuloor, Armin Eberlein	Aspect-Oriented Requirements Engineering for Software Product Lines.	ECBS	2003	DBLP DOI BibTeX RDF
19	Christoph Knieke, Michaela Huhn, Malte Lochau	Executable Requirements Specification: Formal Semantics of Live Activity Diagrams.	TASE	2008	DBLP DOI BibTeX RDF	Unified Modeling Language, Requirements Engineering, Activity Diagrams, Live Sequence Charts
19	Guoqiang Hu 0003, Kai H. Chang	Web sites usability, usability requirements specification & usability evaluation.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF	QUEST, quantitative usability evaluation, quantitative usability user requirements, use features, usability, web applications, usability engineering, web sites, use, lifecycle, usability metrics
19	Patricia Hasson, Stephen Cooper	A Case Study Involving the Use of Z to Aid Requirements Specification in the Software Engineering Course.	CSEE&T	2004	DBLP DOI BibTeX RDF
18	Rafae Bhatti, Arjmand Samuel, Mohamed Y. Eltabakh, Haseeb Amjad, Arif Ghafoor	Engineering a Policy-Based System for Federated Healthcare Databases.	IEEE Trans. Knowl. Data Eng.	2007	DBLP DOI BibTeX RDF	Federated database security, healthcare engineering, role based access control, policy-based management
18	Qingfeng He, Paul N. Otto, Annie I. Antón, Laurie A. Jones	Ensuring Compliance between Policies, Requirements and Software Design: A Case Study.	IWIA	2006	DBLP DOI BibTeX RDF
18	María José Escalona Cuaresma, Nora Koch	Metamodeling the Requirements of Web Systems.	WEBIST (Selected Papers)	2006	DBLP DOI BibTeX RDF	Web Requirements, Metamodel, Web Engineering, UML Profile
18	Stefan Biffl	Analysis of the impact of reading technique and inspector capability on individual inspection performance.	APSEC	2000	DBLP DOI BibTeX RDF	performance index, inspector capability, individual inspection performance, software document inspection, quality assurance measure, software defect detection, software product quality feedback, requirements specification document, inspectors' attention, inspection targets, severity levels, inspection planners, detection effectiveness, document coverage, inspection effort, inspection performance, software development, human factors, software quality, empirical software engineering, system documentation, reading technique
18	Stefan Biffl, Thomas Grechenig, Monika Köhle	Evaluation of inspectors' defect estimation accuracy for a requirements document after individual inspection.	APSEC	2000	DBLP DOI BibTeX RDF	inspector defect estimation accuracy, formal specification, software quality, project management, project managers, inspection, controlled experiment, software inspection, software requirements specification, requirements document, product quality
18	Alan C. Shaw	Communicating Real-Time State Machines.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	communicating real-time state machines, executable notation, concurrent real-time systems, controlled physical environment, CRSMs, CRSM language, real-time systems, formal specification, finite state machines, parallel machines, requirements specification, state machines, communicating sequential processes, timing properties
18	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
18	William N. Robinson	Implementing Rule-Based Monitors within a Framework for Continuous Requirements Monitoring.	HICSS	2005	DBLP DOI BibTeX RDF
18	José Ambrosio Toval Álvarez, Joaquín Nicolás, Begoña Moros, Fernando García	Requirements Reuse for Improving Information Systems Security: A Practitioner's Approach.	Requir. Eng.	2002	DBLP DOI BibTeX RDF	Common criteria framework, Risk analysis and management methods, Security, Requirements engineering, Requirements reuse
18	Wesley James Lloyd, Mary Beth Rosson, James D. Arthur	Effectiveness of Elicitation Techniques in Distributed Requirements Engineering.	RE	2002	DBLP DOI BibTeX RDF
17	Angelo Gargantini, Constance L. Heitmeyer	Using Model Checking to Generate Tests from Requirements Specifications.	ESEC / SIGSOFT FSE	1999	DBLP DOI BibTeX RDF
16	Beum-Seuk Lee, Barrett R. Bryant	Automated conversion from requirements documentation to an object-oriented formal specification language.	SAC	2002	DBLP DOI BibTeX RDF	contextual natural language processing, object-oriented software specification, XML, Vienna development method, two-level grammar
16	Ariel Fuxman, John Mylopoulos, Marco Pistore, Paolo Traverso	Model Checking Early Requirements Specifications in Tropos.	RE	2001	DBLP DOI BibTeX RDF
16	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
16	Ana M. D. Moreira, Robert G. Clark	Combining Object-Oriented Analysis and Formal Description Techniques.	ECOOP	1994	DBLP DOI BibTeX RDF
16	Maria Lencastre 0001	Special track on Requirements Engineering: editorial message.	SAC	2008	DBLP DOI BibTeX RDF
16	Nur Nurmuliani, Didar Zowghi, Sue Fowell	Analysis of Requirements Volatility during Software Development Life Cycle.	Australian Software Engineering Conference	2004	DBLP DOI BibTeX RDF	taxonomy of change, causal analysis, requirements volatility
15	Gordon Fraser 0001, Franz Wotawa	Using Model-Checkers for Mutation-Based Test-Case Generation, Coverage Analysis and Specification Analysis.	ICSEA	2006	DBLP DOI BibTeX RDF
15	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
15	James R. Knapp, Vincent A. Schmidt, Soon M. Chung	Specification for Visual Requirements of Work-Centered Software Systems.	SERA	2006	DBLP DOI BibTeX RDF
15	Christine Choppy, Gianna Reggio	Improving Use Case Based Requirements Using Formally Grounded Specifications.	FASE	2004	DBLP DOI BibTeX RDF
15	Ruzanna Chitchyan, Mónica Pinto, Awais Rashid, Lidia Fuentes	COMPASS: Composition-Centric Mapping of Aspectual Requirements to Architecture.	T. Aspect-Oriented Software Development	2007	DBLP DOI BibTeX RDF	requirements to architecture mapping, requirements composition, architecture composition, requirements engineering, aspect-oriented software development, architecture design, early aspects
15	Kedian Mu, Zhi Jin, Ruqian Lu	Inconsistency-Based Strategy for Clarifying Vague Software Requirements.	Australian Conference on Artificial Intelligence	2005	DBLP DOI BibTeX RDF
15	Seok Won Lee, David C. Rine	Missing requirements and relationship discovery through proxy viewpoints model.	SAC	2004	DBLP DOI BibTeX RDF	missing requirements discovery, proxy viewpoints, requirements categorization, software requirements engineering
15	Frank Marschall, Maurice Schoenmakers	Towards Model-Based Requirements Engineering for Web-Enabled B2B Applications.	ECBS	2003	DBLP DOI BibTeX RDF
15	Francisco A. C. Pinheiro, Joseph A. Goguen	An Object-Oriented Tool for Tracing Requirements.	IEEE Softw.	1996	DBLP DOI BibTeX RDF
15	Raghava G. Gowda	Structured techniques for IMIS (Integrated Maintenance Information System) software development - a case study.	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
14	Jose Romero-Mariona, Hadar Ziv, Debra J. Richardson	ASSURE: automated support for secure and usable requirements engineering.	ISSTA	2010	DBLP DOI BibTeX RDF	security requirements-based testing, security requirements, usable requirements
14	Dalal Alrajeh, Oliver Ray, Alessandra Russo, Sebastián Uchitel	Extracting Requirements from Scenarios with ILP.	ILP	2006	DBLP DOI BibTeX RDF
14	Colette Rolland, Camille Salinesi, Anne Etien	Eliciting gaps in requirements change.	Requir. Eng.	2004	DBLP DOI BibTeX RDF	System change, Change gap, Change primitive, Gap meta-model, System evolution
14	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
14	Tatsuhiro Tsuchiya, Hirofumi Terada, Shinji Kusumoto, Tohru Kikuno, Eun Mi Kim	Derivation of Safety Requirements for Safety Analysis of Object-Oriented Design Documents.	COMPSAC	1997	DBLP DOI BibTeX RDF
14	Samuel Fricker, Tony Gorschek, Carl Byman, Armin Schmidle	Handshaking with Implementation Proposals: Negotiating Requirements Understanding.	IEEE Softw.	2010	DBLP DOI BibTeX RDF	software engineering, software design, requirements specification, software methodologies
14	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
14	Birgit Bomsdorf, Daniel Sinnig	Model-Based Specification and Validation of User Interface Requirements.	HCI (1)	2009	DBLP DOI BibTeX RDF	Requirements specification use case model, task model, model simulation
14	Anne Gross, Jörg Dörr	EPC vs. UML Activity Diagram - Two Experiments Examining their Usefulness for Requirements Engineering.	RE	2009	DBLP DOI BibTeX RDF	Experiment, Process Modeling, Requirements Specification, UML Activity Diagram, Event-driven Process Chain
14	José Luis de la Vara, Juan Sánchez	BPMN-Based Specification of Task Descriptions: Approach and Lessons Learnt.	REFSQ	2009	DBLP DOI BibTeX RDF	Information System, Requirements Specification, Requirements Elicitation, BPMN, Task Description
14	Michael Felderer, Philipp Zech, Frank Fiedler, Joanna Chimiak-Opoka, Ruth Breu	Towards Adaptive Test Code Generation for Service Oriented Systems.	QSIC	2009	DBLP DOI BibTeX RDF	Model-Driven Testing, Quality of Services, Service Oriented Architecture, Requirements Specification, System Testing
14	Dang Viet Dzung, Atsushi Ohnishi	Improvement of Quality of Software Requirements with Requirements Ontology.	QSIC	2009	DBLP DOI BibTeX RDF	Quality of Requirements Specification, Requirements Ontology, Requirements elicitation
14	Petr Kroha, Manuela Rink	Text Generation for Requirements Validation.	ICEIS	2009	DBLP DOI BibTeX RDF	Requirements, Requirements specification, Requirements modeling, Requirements validation, Text generation
14	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
14	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
14	Andrea Herrmann 0001, Barbara Paech	MOQARE: misuse-oriented quality requirements engineering.	Requir. Eng.	2008	DBLP DOI BibTeX RDF	Misuse Cases, Requirements specification, Requirements elicitation, Non-functional requirements, Quality requirements
14	Marcos E. B. Broinizi, João Eduardo Ferreira, Alfredo Goldman	Using annotations in the naked objects framework to explore data requirements.	SAC	2008	DBLP DOI BibTeX RDF	agile methods of software development, conceptual data design, data requirements exploration, requirements engineering, requirements specification, data abstractions
14	Lei Wang 0002, Nicholas J. Dingle, William J. Knottenbelt	Natural Language Specification of Performance Trees.	EPEW	2008	DBLP DOI BibTeX RDF	Performance requirements specification, Performance Trees, Performance analysis, Natural language
14	Valéria Farinazzo Martins Salvador, João Soares de Oliveira Neto, André Luiz Satoshi Kawamoto	Requirement Engineering Contributions to Voice User Interface.	ACHI	2008	DBLP DOI BibTeX RDF	user centerered design, requirements specification, interactive applications, Voice user interface
14	Muhanna Muhanna, Sergiu Dascalu, Frederick C. Harris Jr., Sherif Elfass, Marcel Karam	Specification and Design Aspects of the Academic Researcher's Assistant (ARA) Software for Mobile Devices.	ACHI	2008	DBLP DOI BibTeX RDF	human-computer interaction, mobile devices, interaction design, requirements specification, use case modeling
14	Marco Autili, Paola Inverardi, Patrizio Pelliccione	Graphical scenarios for specifying temporal properties: an automated approach.	Autom. Softw. Eng.	2007	DBLP DOI BibTeX RDF	Scenario based notation, System requirements specification, Temporal properties specification
14	Oliver Au, Roger G. Stone, John Cooke	Precise Scenarios - A Customer-Friendly Foundation for Formal Specifications.	IFM	2007	DBLP DOI BibTeX RDF	precise scenario, formal method, use case, requirements specification, Z notation
14	Robert R. Hoffman, William C. Elm	HCC Implications for the Procurement Process.	IEEE Intell. Syst.	2006	DBLP DOI BibTeX RDF	procurement process, requirements specification, human-centered computing
14	Christine Choppy, Gianna Reggio	Requirements Capture and Specification for Enterprise Applications: a UML Based Attempt.	ASWEC	2006	DBLP DOI BibTeX RDF	UML, Requirements Specification, Domain Model, Enterprise Applications, Problem Frames
14	Marco Autili, Paola Inverardi, Patrizio Pelliccione	A scenario based notation for specifying temporal properties.	SCESM	2006	DBLP DOI BibTeX RDF	scenario based notation, system requirements specification, temporal properties specification
14	Guttorm Sindre, Andreas L. Opdahl	Eliciting security requirements with misuse cases.	Requir. Eng.	2005	DBLP DOI BibTeX RDF	Extra-functional requirements, Requirements determination, Scenarios, Use cases, Requirements analysis, Requirements specification, Requirements elicitation, Security requirements
14	Daniel M. Berry, Erik Kamsties	The Syntactically Dangerous All and Plural in Specifications.	IEEE Softw.	2005	DBLP DOI BibTeX RDF	semantics, natural language, requirements specification, syntax
14	Susanne Kandrup	On Systems Coaching.	IEEE Softw.	2005	DBLP DOI BibTeX RDF	systems coaching, family therapy, requirements specification
14	Ana Belén Barragáns-Martínez, José Juan Pazos-Arias, Ana Fernández Vilas	Merging Requirements Views with Incompleteness and Inconsistency.	Australian Software Engineering Conference	2005	DBLP DOI BibTeX RDF	Requirements Specification, Merging, Viewpoints, Inconsistency, Incompleteness
14	Grigori Melnik, Frank Maurer	The practice of specifying requirements using executable acceptance tests in computer science courses.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	academic projects, executable acceptance testing, requirements specification, FIT
14	Heather Richter, Christopher A. Miller 0001, Gregory D. Abowd, Idris Hsi	An empirical investigation of capture and access for software requirements activities.	Graphics Interface	2005	DBLP BibTeX RDF	evaluation, ubiquitous computing, knowledge acquisition, requirements specification, capture and access
14	Robert Winter 0001, Bernhard Strauch	Information requirements engineering for data warehouse systems.	SAC	2004	DBLP DOI BibTeX RDF	data warehouse systems, requirements specification, method engineering
14	Lennart Molin	Wizard-of-Oz prototyping for co-operative interaction design of graphical user interfaces.	NordiCHI	2004	DBLP DOI BibTeX RDF	Ozlab, cooperative interaction design, wizard-of-Oz prototyping, requirements specification
14	H. Dominic Covvey, David Zitner, Daniel M. Berry, Donald D. Cowan, Michael A. Shepherd	Formal Structure for Specifying the Content and Quality of the Electronic Health Record.	RE	2003	DBLP DOI BibTeX RDF	Electronic Data Record, type system, requirements specification, requirements elicitation
14	Ralph D. Jeffords, Constance L. Heitmeyer	A strategy for efficiently verifying requirements.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	model checking, formal methods, software tools, invariants, requirements specification, compositional verification
14	Caroline D. Rombach, Oliver Kude, Aybüke Aurum, D. Ross Jeffery, Claes Wohlin	An Empirical Study of an ER-Model Inspection Meeting.	EUROMICRO	2003	DBLP DOI BibTeX RDF	Requirements Specification Inspection, Inspection Teams, Entity Relationship Model, Empirical Research, Reading Techniques
14	Pnina Soffer, Boaz Golany, Dov Dori, Yair Wand	Modelling Off-the-Shelf Information Systems Requirements: An Ontological Approach.	Requir. Eng.	2001	DBLP DOI BibTeX RDF	Off-the-shelf information systems, Ontology, Conceptual model, Requirements specification, Object-Process Methodology
14	Mats Per Erik Heimdahl, Jeffrey M. Thompson	Specifying and Analysing System-Level Inter-Component Interfaces.	Requir. Eng.	2000	DBLP DOI BibTeX RDF	Inter-component communication, Safety kernel, State-based specification, Formal methods, Static analysis, Requirements specification, RSML
14	Nancy G. Leveson	Intent Specifications: An Approach to Building Human-Centered Specifications.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	human-centered specifications, means-ends hierarchy, Requirements, software evolution, requirements specification, safety-critical software, cognitive engineering
14	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
14	Martin Glinz	A Lightweight Approach to Consistency of Scenarios and Class Models.	ICRE	2000	DBLP DOI BibTeX RDF	object-oriented, Consistency, scenarios, requirements specification, class models
14	Michihiro Matsumoto, Kokichi Futatsugi	The support tool for highly reliable component-based software development.	APSEC	2000	DBLP DOI BibTeX RDF	reliable component-based software development support tool, output reliability, automated refinement verification, automated connector generation, tree architecture, projection-style behavioral specification, refined specification, component combination, Java, software architecture, formal specification, formal verification, software tools, software reliability, requirements specification, subroutines, distributed object management, JavaBeans, development systems, component-based software architecture
14	José Luis Fernández Alemán, José Ambrosio Toval Álvarez	Can Intuition Become Rigorous? Foundations for UML Model Verification Tools.	ISSRE	2000	DBLP DOI BibTeX RDF	UML Statechart Diagrams, Software Model Reliability, Formal Verification, Requirements Specification
14	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
14	Xavier Burgués Illa, Xavier Franch, Joan Antoni Pastor	Formalising ERP Selection Criteria.	IWSSD	2000	DBLP BibTeX RDF	ERP, requirements specification, Software selection
14	Patrik Forsgren, Arnis Daugulis	Requirements Engineering In Control Center Procurement Projects Practical Experiences from the Power Industry.	ICRE	1998	DBLP DOI BibTeX RDF	Requirements Engineering (RE), Requirements Specification (RS), Industrial Control and Information Systems, Control Center, SCADA/EMS, Request For Proposal (RFP), Commercial Off-The-Shelf (COTS), Procurement, BMS, Industrial Control Systems
14	Atsushi Ohnishi	Software Requirements Definition for Specification Database.	APSEC	1997	DBLP DOI BibTeX RDF	specification database, software requirements language, requirements definition, software requirements specification
14	Neeraj K. Gupta, Lalita Jategaonkar Jagadeesan, Eleftherios Koutsofios, David M. Weiss	Auditdraw: Generating Audits the FAST Way.	RE	1997	DBLP DOI BibTeX RDF	software reuse, requirements specification, requirements elicitation, domain engineering, domain analysis
14	Hyoung Seok Hong, Sung Deok Cha, Yong Rae Kwon	On the concurrent behaviour of SCR specifications.	COMPSAC	1997	DBLP DOI BibTeX RDF	SCR specifications, concurrent behaviour, SCR method, tabular notations, Software Cost Reduction, mode transition tables, event tables, condition tables, real-time systems, finite state machines, finite state machine, requirements specification, state machines, timed transition systems, interleaving semantics
14	William N. Robinson, Vecheslav Volkov	A Meta-Model for Restructuring Stakeholder Requirements.	ICSE	1997	DBLP DOI BibTeX RDF	stakeholder conflict analysis, negotiation, meta-modeling, requirements/specification
14	Richard J. Botting	Comments on "A Formal Semantics for Object Model Diagrams".	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	formal methods, semantics, requirements specification, Algebraic specification, object modeling
14	José M. Drake	Writing a user functional description for an Army software metrics support tool.	HASE	1996	DBLP DOI BibTeX RDF	user functional description, Army, software metrics support tool, UFD, users viewpoint, document, requirements specification, domain knowledge, military computing
14	Regina M. Gonzales, Alexander L. Wolf	A facilitator method for upstream design activities with diverse stakeholders.	ICRE	1996	DBLP DOI BibTeX RDF	facilitator method, upstream design activities, diverse stakeholders, stakeholder based modeling, rapid feasibility feed back, interpersonal dynamics, independent agent, Integrated System Model, independent system views, high technology medical product, critical time to market pressures, marketing aspect, formal specification, systems analysis, requirements specification, abstraction level, medical computing, high level design, requirements definition, real world experience
14	Xiaoqing Frank Liu, John Yen	An Analytic Framework for Specifying and Analyzing Imprecise Requirements.	ICSE	1996	DBLP BibTeX RDF	conflicting requirements, cooperative requirements, formal specification methods, implicit conflicts, imprecise requirements specification, informal requirements, irrelevant requirements, mutually exclusive requirements, relative priorities, formal specification, fuzzy logic, systems analysis, requirements analysis, conflict resolution, trade-off analysis, requirement change
14	Vangalur S. Alagar, D. Muthiayen, Ramesh Achuthan	Animating Real-Time Reactive Systems.	ICECCS	1996	DBLP DOI BibTeX RDF	Formal Methods, Animation, Process Model, Object-Oriented Modeling, Software Requirements Specification, Real-Time Reactive Systems
14	Robert H. Bourdeau, Betty H. C. Cheng	A Formal Semantics for Object Model Diagrams.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	formal methods, semantics, requirements specification, Algebraic specification, object modeling
14	Janis A. Bubenko Jr.	Challenges in requirements engineering.	RE	1995	DBLP DOI BibTeX RDF	software requirements engineering, business management, IT management levels, real world goals, education, formal specification, systems analysis, requirements specification, users, business data processing, stakeholders, DP management
14	Wolfgang A. Halang, Bernd J. Krämer	Safety Assurance in Process Control.	IEEE Softw.	1994	DBLP DOI BibTeX RDF	safety assurance, PLC software safety, safety-critical control, algebraic language, Obj3 system, functional programming environment, formal specification, formal specifications, formal verification, formal verification, functional programming, software reliability, safety, interpreter, requirements specification, process control, data representation, programmable logic controllers, programmable controllers, design specification, specification testing, Obj, function blocks, process computer control
14	David Chenho Kung	Conceptual Modeling in the Context of Software Development.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	formal analysis of model, Conceptual modeling, requirements specification, consistency checking, executable specification
14	Herbert Göttler	Graph Grammars, A New Paradigma for Implementing Visual Languages.	RTA	1989	DBLP DOI BibTeX RDF	CR classification system (1987): D.1 Programming Techniques D.2.1 Requirements/Specification, D.2.2 Tools and Techniques, D.2.6 Programming Environments, E.1 Data Structures, F.4.2 Grammars and other Rewriting Systems - additional: Graph Grammars, Syntax-directed Editors, Diagram Languages
14	Junbeom Yoo, Sung Deok Cha, Han Seong Son, Chang Hwoi Kim, Jang-Soo Lee	PLC-Based Safety Critical Software Development for Nuclear Power Plants.	SAFECOMP	2004	DBLP DOI BibTeX RDF
14	Tim Miller, Paul A. Strooper	A framework and tool support for the systematic testing of model-based specifications.	ACM Trans. Softw. Eng. Methodol.	2003	DBLP DOI BibTeX RDF	specification animation, testgraphs, testing, Formal verification
14	Richard J. Anderson, Paul Beame, Steve Burns 0002, William Chan 0001, Francesmary Modugno, David Notkin, Jon Damon Reese	Model Checking Large Software Specifications.	SIGSOFT FSE	1996	DBLP DOI BibTeX RDF
14	Josh Dehlinger, Robyn R. Lutz	A product-line requirements approach to safe reuse in multi-agent systems.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF
14	Josh Dehlinger, Robyn R. Lutz	A Product-Line Approach to Promote Asset Reuse in Multi-agent Systems.	SELMAS (LNCS)	2005	DBLP DOI BibTeX RDF