The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase Requirements/specifications (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1982-1991 (20) 1992-1995 (24) 1996-1997 (21) 1998 (16) 1999 (18) 2000-2001 (29) 2002 (30) 2003-2004 (28) 2005 (25) 2006 (26) 2007 (33) 2008 (29) 2009 (27) 2010 (15) 2011-2012 (16) 2013-2014 (16) 2015-2017 (18) 2018-2019 (15) 2020-2021 (16) 2022-2023 (7)
Publication types (Num. hits)
article(124) incollection(1) inproceedings(299) phdthesis(5)
Venues (Conferences, Journals, ...)
RE(43) IEEE Trans. Software Eng.(28) Requir. Eng.(21) REFSQ(8) WER(8) CoRR(7) CAiSE(6) IEEE Softw.(6) SAC(6) APSEC(5) FASE(5) ASE(4) Empir. Softw. Eng.(4) HASE(4) ICRE(4) ICSE(4) More (+10 of total 225)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 523 occurrences of 304 keywords

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