Search results for "requirements specification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	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
4	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
3	María del 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	2009	DBLP DOI BibTeX RDF	Ontology Requirements, Competency Questions, Ontology Requirements Specification and Methodologies
3	Zaiwen Feng, Keqing He, Yutao Ma, Jian Wang, Ping Gong	Towards Individualized Requirements Specification Evolution for Networked Software Based on Aspect.	ICSP	2008	DBLP DOI BibTeX RDF	evolution, requirements specification, aspect, OWL-S
3	Daniel M. Berry, Khuzaima Daudjee, Jing Dong, 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
3	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
3	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
3	Martin Glinz	Problems and Deficiencies of UML as a Requirements Specification Language.	IWSSD	2000	DBLP BibTeX RDF	model, UML, decomposition, use case, requirements specification
3	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
3	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
3	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
3	Aphrodite Tsalgatidou, V. 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
2	Spyros T. Halkidis, Alexander Chatzigeorgiou, George Stephanides	Moving from Requirements to Design Confronting Security Issues: A Case Study.	OTM Conferences	2009	DBLP DOI BibTeX RDF	Misuse Cases, Requirements Specification, Software Security, Risk Analysis, Security Patterns
2	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
2	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
2	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
2	Ivan Jureta, Stéphane Faulkner, Philippe Thiran	Dynamic Requirements Specification for Adaptable and Open Service-Oriented Systems.	ICSOC	2007	DBLP DOI BibTeX RDF
2	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
2	Manar Abu Talib, 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
2	Elzbieta Malinowski, Esteban Zimányi	Requirements Specification and Conceptual Modeling for Spatial Data Warehouses.	OTM Workshops	2006	DBLP DOI BibTeX RDF
2	Guoqiang Hu, 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
2	Carlos Videira, David de Almeida Ferreira, Alberto Rodrigues da Silva	A Linguistic Patterns Approach for Requirements Specification.	EUROMICRO-SEAA	2006	DBLP DOI BibTeX RDF
2	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
2	Renuka Sindhgatta, Srinivas Thonse	Functional and Non-functional Requirements Specification for Enterprise Applications.	PROFES	2005	DBLP DOI BibTeX RDF
2	Satyajit Acharya, Chris George, Hrushikesha Mohanty	Domain Consistency in Requirements Specification.	QSIC	2005	DBLP DOI BibTeX RDF	Consistency Conditions, Testing, Specification, RAISE, RSL
2	M. G. Ilieva, Olga Ormandjieva	Automatic Transition of Natural Language Software Requirements Specification into Formal Presentation.	NLDB	2005	DBLP DOI BibTeX RDF
2	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
2	Raimundas Matulevicius	How Requirements Specification Quality Depends on Tools: A Case Study.	CAiSE	2004	DBLP DOI BibTeX RDF
2	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
2	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
2	Morten Hertzum	Small-Scale Classification Schemes: A Field Study of Requirements Engineering.	Computer Supported Cooperative Work	2004	DBLP DOI BibTeX RDF	small-scale classification, requirements engineering, coordination, requirements specification, cooperative work, conceptual design, classification schemes
2	Hye Yeon Kim, Frederick T. Sheldon	Testing Software Requirements with Z and Statecharts Applied to an Embedded Control System.	Software Quality Journal	2004	DBLP DOI BibTeX RDF	requirements specification and validation, fault-tolerance, consistency, completeness, Statecharts, Z
2	Catherine Meadows	What Makes a Cryptographic Protocol Secure? The Evolution of Requirements Specification in Formal Cryptographic Protocol Analysis.	ESOP	2003	DBLP DOI BibTeX RDF
2	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
2	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
2	Shuang-Hua Yang, L. S. Tan, X. Chen	Requirements Specification and Architecture Design for Internet-Based Control Systems.	COMPSAC	2002	DBLP DOI BibTeX RDF
2	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
2	Nicolas Dulac, Thomas Viguier, Nancy G. Leveson, Margaret-Anne D. Storey	On the Use of Visualization in Formal Requirements Specification. (PDF / PS)	RE	2002	DBLP DOI BibTeX RDF	visualization, formal methods, Requirements specification
2	Marc K. Zimmerman, Kristina Lundqvist, Nancy G. Leveson	Investigating the readability of state-based formal requirements specification languages.	ICSE	2002	DBLP DOI BibTeX RDF
2	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
2	Stanislaw Szejko	Requirements Driven Quality Control.	COMPSAC	2002	DBLP DOI BibTeX RDF	quality tree model, QFD method, GQM approach, requirements specification, quality control
2	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
2	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
2	Stuart R. Faulk	Product-Line Requirements Specification (PRS): An Approach and Case Study. (PDF / PS)	RE	2001	DBLP DOI BibTeX RDF
2	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
2	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
2	Shinji Kusumoto, Katsuro Inoue, Takashi Kasimoto, Ayane Suzuki, Katsuhiko Yuura, Michio Tsuda	Function Point Measurement for Object-Oriented Requirements Specification. (PDF / PS)	COMPSAC	2000	DBLP DOI BibTeX RDF
2	Nancy A. Day, Jeffrey J. Joyce	A Framework for Multi-Notation Requirements Specification and Analysis. (PDF / PS)	ICRE	2000	DBLP DOI BibTeX RDF
2	Petr Kroha	Preprocessing of Requirements Specification.	DEXA	2000	DBLP DOI BibTeX RDF
2	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
2	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
2	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
2	Gerald Kotonya	Practical Experience with Viewpoint-Oriented Requirements Specification.	Requir. Eng.	1999	DBLP DOI BibTeX RDF	Experience, Requirements specification, Case study, Viewpoints, Requirements definition
2	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
2	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
2	William Chan, 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
2	Laurence James	Automatic requirements specification update processing from a requirements management tool perspective.	ECBS	1997	DBLP DOI BibTeX RDF
2	Tereza G. Kirner, Janaina C. Abib	Inspection of Software Requirements Specification Documents: A Pilot Study.	SIGDOC	1997	DBLP DOI BibTeX RDF	inspection techniques, software requirements specification document, empirical study
2	Atsushi Ohnishi, Norihiro Tokuda	Visual software requirements definition environment. (PDF / PS)	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
2	Mats Per Erik Heimdahl, David J. Keenan	Generating Code from Hierarchical State-Based Requirements. (PDF / PS)	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
2	Francesmary Modugno, Nancy G. Leveson, Jon Damon Reese, Kurt Partridge, Sean D. Sandys	Integrated Safety Analysis of Requirements Specifications. (PDF / PS)	RE	1997	DBLP DOI BibTeX RDF	software safety analysis, software safety, software requirements specification
2	K. Brink, Jan van Katwijk, R. 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
2	Atsushi Ohnishi	Software Requirements Specification Database Based on Requirements Frame Model. (PDF / PS)	ICRE	1996	DBLP DOI BibTeX RDF	requirements specification, requirements model, requirements definition
2	Mats Per Erik Heimdahl, Barbara J. Czerny	Using PVS to analyze hierarchical state-based requirements for completeness and consistency. (PDF / PS)	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
2	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
2	R. E. M. Champion, Trevor T. Moores	Exploiting an enterprise model during systems' requirements capture and analysis. (PDF / PS)	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
2	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
2	Soeli T. Fiorini, Julio Cesar Sampaio do Prado Leite, T. Diana L. v. A. de Macedo-Soares	Integrating business processes with requirements elicitation. (PDF / PS)	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
2	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
2	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
2	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
2	Joanne M. Atlee, John A. McDermid	Integrating requirements analysis and safety analysis. (PDF / PS)	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
2	P. Forsgren, T. Rahkonen	Specification of customer and user requirements in industrial control system procurement projects. (PDF / PS)	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
2	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
2	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
2	Ali H. Dogru, Suzanne N. Delcambre, Coskun Bayrak, Y. T. Chen, Eric S. Chan, W. Yin, M. G. Christiansen, Murat M. Tanik	An integrated system design environment: Concepts and a status report.	Journal of Systems Integration	1992	DBLP DOI BibTeX RDF	rapid prototyping, Requirements specification, integrated environments
2	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
2	A. 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
2	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
1	Serguei A. Mokhov, Marc-André Laverdière, Ali Benssam, Djamel Benredjem	A Secure Web-Based File Exchange Server: Software Requirements Specification Document	CoRR	2011	DBLP BibTeX RDF
1	Pedro Valderas, Vicente Pelechano	A Survey of Requirements Specification in Model-Driven Development of Web Applications.	TWEB	2011	DBLP DOI BibTeX RDF
1	Sihem Mallek, Nicolas Daclin, Vincent Chapurlat	An Approach for Interoperability Requirements Specification and Verification.	IWEI	2011	DBLP DOI BibTeX RDF
1	Petra Björndal, Mikko J. Rissanen, Steve Murphy	Lessons Learned from Using Personas and Scenarios for Requirements Specification of Next-Generation Industrial Robots.	HCI	2011	DBLP DOI BibTeX RDF
1	Frank Salger	Software Requirements Specification in Global Software Development - What's the Difference?	Software Engineering	2011	DBLP BibTeX RDF
1	Ashfa Umber, Imran Sarwar Bajwa	Minimizing ambiguity in natural language software requirements specification.	ICDIM	2011	DBLP DOI BibTeX RDF
1	Mario A. Bochicchio, Antonella Longo, Caterina Mansueto	Cloud services for SMEs: Contract Management's requirements specification.	Integrated Network Management	2011	DBLP DOI BibTeX RDF
1	Arbi Ghazarian, Mehdi Sagheb-Tehrani, Arin Ghazarian	A Software Requirements Specification Framework for Objective Pattern Recognition: A Set-Theoretic Classification Approach.	ICECCS	2011	DBLP DOI BibTeX RDF
1	Mingtao Shi	Documenting Software Requirements Specification: A Revisit.	Computer and Information Science	2010	DBLP BibTeX RDF
1	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.	JSEA	2010	DBLP DOI BibTeX RDF
1	Ali Alhazmi, Abdulrahman Al-Sharawi, Bing Liu 0007, Deyvisson Oliveira, Kanj Sobh, Max Mayantz, Robin de Bled, Yu Ming Zhang	Software Requirements Specification of the IUfA's UUIS -- a Team 4 COMP5541-W10 Project Approach	CoRR	2010	DBLP BibTeX RDF
1	Ahmed Daoudi, David Zerkler, Gay Hazan, Isabelle Toutant, Mariano Diaz, René Toutant, Virginia Cook, William Nzoukou, Yassine Amaiche	Software Requirements Specification of the IUfA's UUIS -- a Team 3 COMP5541-W10 Project Approach	CoRR	2010	DBLP BibTeX RDF
1	Abirami Sankaran, Andriy Samsonyuk, Maab Attar, Mohammad Parham, Olena Zayikina, Omar Jandali Rifai, Pavel Lepin, Rana Hassan	Software Requirements Specification of the IUfA's UUIS -- a Team 1 COMP5541-W10 Project Approach	CoRR	2010	DBLP BibTeX RDF
1	Omer Shahid Ahmad, Faisal Alrashdi, Jason Jun-Duo Chen, Najah Ilham, Jianhai Lu, Yiwei Sun, Tong Wang 0002, Yongxin Zhu 0002	Software Requirements Specification of the IUfA's UUIS -- a Team 2 COMP5541-W10 Project Approach	CoRR	2010	DBLP BibTeX RDF
1	Lilly Raamesh, G. V. Uma	Reliable Mining of Automatically Generated Test Cases from Software Requirements Specification (SRS)	CoRR	2010	DBLP BibTeX RDF
1	Jonathan P. Bowen, Mike Hinchey, Emil Vassev	Formal Requirements Specification.	Encyclopedia of Software Engineering	2010	DBLP BibTeX RDF
1	Ayse Morali, Roel Wieringa	Risk-based Confidentiality Requirements Specification for Outsourced IT Systems.	RE	2010	DBLP DOI BibTeX RDF
1	Marinos G. Georgiades, Andreas S. Andreou	Automatic generation of a Software Requirements Specification (SRS) document.	ISDA	2010	DBLP DOI BibTeX RDF
1	Kristoffer Lidström, Tony Larsson	A spatial QoS requirements specification for V2V applications.	Intelligent Vehicles Symposium	2010	DBLP DOI BibTeX RDF
1	Elmar Jürgens, Florian Deissenboeck, Martin Feilkas, Benjamin Hummel, Bernhard Schätz, Stefan Wagner, Christoph Domann, Jonathan Streit	Can clone detection support quality assessments of requirements specifications?	ICSE	2010	DBLP DOI BibTeX RDF	redundancy, requirements specification, clone detection
1	Samuel Fricker, Tony Gorschek, Carl Byman, Armin Schmidle	Handshaking with Implementation Proposals: Negotiating Requirements Understanding.	IEEE Software	2010	DBLP DOI BibTeX RDF	software engineering, software design, requirements specification, software methodologies