| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 14 | Miao Song 0001, Peter Grogono |
Deriving software engineering requirements specification for computer graphics simulation systems through a case study.  |
ICIS  |
2010 |
DBLP DOI BibTeX RDF |
|
| 14 | Jingbai Tian, Keqing He, Chong Wang 0004, Huafeng Chen |
An Approach to Generation of Process-Oriented Requirements Specification. |
J. Softw. Eng. Appl. |
2009 |
DBLP DOI BibTeX RDF |
|
| 14 | Marc-André Laverdière, Serguei A. Mokhov, Suhasini Tsapa, Djamel Benredjem |
Ftklipse - Design and Implementation of an Extendable Computer Forensics Environment: Software Requirements Specification Document |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 14 | Michael Menzel 0001, Ivonne Thomas, Christoph Meinel |
Security Requirements Specification in Service-Oriented Business Process Management. |
ARES |
2009 |
DBLP DOI BibTeX RDF |
|
| 14 | Björn Johansson 0004, Anders Skoogh, Mahesh Mani, Swee Leong |
Discrete event simulation to generate requirements specification for sustainable manufacturing systems design. |
PerMIS |
2009 |
DBLP DOI BibTeX RDF |
|
| 14 | Moses Dlamini, Mariki M. Eloff, Jan H. P. Eloff, Karin Höne |
BC3I - Towards Requirements Specification for Preparing an Information Security Budget. |
ISSA |
2009 |
DBLP BibTeX RDF |
|
| 14 | Eric Knauss, Christian El Boustani, Thomas Flohr 0002 |
Investigating the Impact of Software Requirements Specification Quality on Project Success. |
PROFES |
2009 |
DBLP DOI BibTeX RDF |
Quality of Requirements, Metrics for Requirements |
| 14 | Sandeep K. Singh 0001, Sangeeta Sabharwal, J. P. Gupta, Reetesh Gupta |
Automatic Extraction of Events from Textual Requirements Specification. |
NaBIC |
2009 |
DBLP DOI BibTeX RDF |
|
| 14 | Michael Menzel 0001, Ivonne Thomas, Benjamin Schüler, Maxim Schnjakin, Christoph Meinel |
Security Requirements Specification in Process-aware Information Systems. |
ISSE |
2009 |
DBLP DOI BibTeX RDF |
|
| 14 | Vagner Luiz Gava |
Software requirements specification process applied to cooperative work (Processo para especificação de requisitos de software com foco de aplicação em trabalho cooperativo). |
|
2009 |
RDF |
|
| 14 | Oliver T. S. Au |
Requirements specification using concrete scenarios. |
|
2009 |
RDF |
|
| 14 | Naryanan Subramanian |
Requirements Specification and Analysis. |
Wiley Encyclopedia of Computer Science and Engineering |
2008 |
DBLP DOI BibTeX RDF |
|
| 14 | Michel dos Santos Soares, Jos L. M. Vrancken |
Model-Driven User Requirements Specification using SysML. |
J. Softw. |
2008 |
DBLP DOI BibTeX RDF |
|
| 14 | Marcus Laumann |
Requirements Specification for Supply Chain Controlling - A Mini Case Study. |
AMCIS |
2008 |
DBLP BibTeX RDF |
|
| 14 | Gabor Melli, Jerre McQuinn |
Requirements Specification Using Fact-Oriented Modeling: A Case Study and Generalization. |
OTM Workshops |
2008 |
DBLP DOI BibTeX RDF |
Fact-oriented modeling, Case Study |
| 14 | Sri Fatimah Tjong, Daniel M. Berry |
Can Rules of Inferences Resolve Coordination Ambiguity in Natural Language Requirements Specification? |
WER |
2008 |
DBLP BibTeX RDF |
|
| 14 | Muhammad Bin Aslam, Sohail Asghar |
Inadequate Stakeholders Involvement in Software Requirements Specification and their Impact on IS Projects Success. |
Enterprise Information Systems and Web Technologies |
2008 |
DBLP BibTeX RDF |
|
| 14 | Hooshmand Alipour, Ayaz Isazadeh |
Software Reliability Prediction Based on a Formal Requirements Specification. |
CSICC |
2008 |
DBLP DOI BibTeX RDF |
|
| 14 | Jytte Brender, Peter McNair |
Evaluation of Robustness of a User Requirements Specification Approach in a Purchase Context, a LIS Case Study. |
MIE |
2008 |
DBLP DOI BibTeX RDF |
|
| 14 | Lianshan Sun, Gang Huang 0001, Yanchun Sun, Hui Song, Hong Mei 0001 |
An Approach for Generation of J2EE Access Control Configurations from Requirements Specification. |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
Access Control Configurations, Security, Role-Based Access Control, Model Transformation, J2EE |
| 14 | Akos Szoke |
A Proposed Method for Release Planning from Use Case-based Requirements Specification. |
EUROMICRO-SEAA |
2008 |
DBLP DOI BibTeX RDF |
|
| 14 | Krzysztof Sapiecha, Damian Grela |
Automating Test Case Generation for Requirements Specification for Processes Orchestrating Web Services. |
ICEIS (3-1) |
2008 |
DBLP BibTeX RDF |
|
| 14 | Cristina Vicente-Chicote, Begoña Moros, José Ambrosio Toval Álvarez |
REMM-Studio: an Integrated Model-Driven Environment for Requirements Specification, Validation and Formatting. |
J. Object Technol. |
2007 |
DBLP DOI BibTeX RDF |
|
| 14 | Brian Dupée, Jim McElwee |
Identifying and Resolving Perceptions of Misunderstanding of the User Requirements Specification. |
Software Engineering Research and Practice |
2007 |
DBLP BibTeX RDF |
|
| 14 | Ivan Jureta, Stéphane Faulkner, Philippe Thiran |
Dynamic Requirements Specification for Adaptable and Open Service Systems. |
RE |
2007 |
DBLP DOI BibTeX RDF |
|
| 14 | Michel dos Santos Soares, Jos L. M. Vrancken |
Requirements specification and modeling through SysML. |
SMC |
2007 |
DBLP DOI BibTeX RDF |
|
| 14 | Sergiu Dascalu, Eric Fritzinger, Kendra M. L. Cooper, Narayan C. Debnath |
A Software Tool for Requirements Specification - On Using the STORM Environment to Create SRS Documents. |
ICSOFT (SE) |
2007 |
DBLP BibTeX RDF |
|
| 14 | Marcelin Fortes da Cruz, Paul Raistrick |
AMBERS: Improving Requirements Specification Through Assertive Models and SCADE/DOORS Integration. |
SSS |
2007 |
DBLP DOI BibTeX RDF |
|
| 14 | Elena Navarro 0001, Patricio Letelier 0001, José Antonio Mocholí, Isidro Ramos |
A Metamodeling Approach for Requirements Specification. |
J. Comput. Inf. Syst. |
2006 |
DBLP DOI BibTeX RDF |
|
| 14 | Elena Navarro 0001, Pedro Sánchez, Patricio Letelier 0001, Juan Angel Pastor, Isidro Ramos |
A Goal-Oriented Approach for Safety Requirements Specification. |
ECBS |
2006 |
DBLP DOI BibTeX RDF |
|
| 14 | Fabien Baligand, Didier Le Botlan, Thomas Ledoux, Pierre Combes |
A Language for Quality of Service Requirements Specification in Web Services Orchestrations. |
ICSOC Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
| 14 | Sergio España, Inés Pederiva, José Ignacio Panach, Silvia Abrahão, Oscar Pastor 0001 |
Linking requirements specification with interaction design and implementation. |
HWID |
2006 |
DBLP DOI BibTeX RDF |
|
| 14 | G. S. Anandha Mala, G. V. Uma |
Automatic Construction of Object Oriented Design Models [UML Diagrams] from Natural Language Requirements Specification. |
PRICAI |
2006 |
DBLP DOI BibTeX RDF |
|
| 14 | Stephen Gorton, Stephan Reiff-Marganiec |
Towards a Task-Oriented, Policy-Driven Business Requirements Specification for Web Services. |
Business Process Management |
2006 |
DBLP DOI BibTeX RDF |
|
| 14 | Judith Hartmann, Sabine Rittmann, Doris Wild, Peter Scholz |
Formal incremental requirements specification of service-oriented automotive software systems. |
SOSE |
2006 |
DBLP DOI BibTeX RDF |
|
| 14 | Carlos Videira, David de Almeida Ferreira, Alberto Rodrigues da Silva |
Using linguistic patterns for improving requirements specification. |
ICSOFT (1) |
2006 |
DBLP BibTeX RDF |
|
| 14 | Nelly Condori-Fernández, Oscar Pastor 0001 |
An Empirical Study on the Likelihood of Adoption in Practice of a Size Measurement Procedure for Requirements Specification. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
|
| 14 | Chih-Wei Ho, Michael J. Johnson, Laurie A. Williams, E. Michael Maximilien |
On Agile Performance Requirements Specification and Testing. |
AGILE |
2006 |
DBLP DOI BibTeX RDF |
|
| 14 | Nam-Ju Lee, Ritamarie John, Suzanne Bakken |
Functional Requirements Specification and Data Modeling for a PDA-based Decision Support System for the Screening and Management of Obesity. |
AMIA |
2006 |
DBLP BibTeX RDF |
|
| 14 | Guoqiang Hu 0003, Kai H. Chang |
A Methodology for Structured Use-Centered Quantitative Full-Life-Cycle Usability Requirements Specification and Usability Evaluation of Web Sites. |
International Conference on Internet Computing |
2006 |
DBLP BibTeX RDF |
|
| 14 | Andrew Dingwall-Smith |
Run-time monitoring of goal-oriented requirements specification. |
|
2006 |
RDF |
|
| 14 | Christine Hofmeister, Robert L. Nord, Dilip Soni |
Global Analysis: moving from software requirements specification to structural views of the software architecture. |
IEE Proc. Softw. |
2005 |
DBLP DOI BibTeX RDF |
|
| 14 | Taeho Kim, David W. J. Stringer-Calvert, Sung Deok Cha |
Formal verification of functional properties of a SCR-style software requirements specification using PVS. |
Reliab. Eng. Syst. Saf. |
2005 |
DBLP DOI BibTeX RDF |
|
| 14 | Garry S. Marliss |
Review of "Systems Modeling & Requirements Specification Using ECSAM: An Analysis Method for Embedded and Computer-Based Systems by Jonah Z. Lavi and Joseph Kudish", Dorset House Publishing Co. Inc., 2005, ISBN 0-932633-45-5. |
ACM SIGSOFT Softw. Eng. Notes |
2005 |
DBLP DOI BibTeX RDF |
|
| 14 | Annette Bunker, Ganesh Gopalakrishnan, Konrad Slind |
Live sequence charts applied to hardware requirements specification and verification. |
Int. J. Softw. Tools Technol. Transf. |
2005 |
DBLP DOI BibTeX RDF |
Protocol compliance, Virtual Component Interface Standard, Formal verification, Specification, Live Sequence Charts |
| 14 | Daniela E. Damian, Catholijn M. Jonker, Jan Treur, Niek J. E. Wijngaards |
Integration of behavioural requirements specification within compositional knowledge engineering. |
Knowl. Based Syst. |
2005 |
DBLP DOI BibTeX RDF |
|
| 14 | Junbeom Yoo, Tai Hyo Kim, Sung Deok Cha, Jang-Soo Lee, Han Seong Son |
A formal software requirements specification method for digital nuclear plant protection systems. |
J. Syst. Softw. |
2005 |
DBLP DOI BibTeX RDF |
|
| 14 | Jonah Z. Lavi, Joseph Kudish |
Systems modeling & requirements specification using ECSAM: an analysis method for embedded & computer-based systems. |
Innov. Syst. Softw. Eng. |
2005 |
DBLP DOI BibTeX RDF |
|
| 14 | Rebeca P. Díaz Redondo, José Juan Pazos-Arias, Ana Fernández Vilas, Jorge García Duque, Alberto Gil-Solla |
Arifs Methodology Reusing Incomplete Models at the Requirements Specification Stage. |
Int. J. Softw. Eng. Knowl. Eng. |
2005 |
DBLP DOI BibTeX RDF |
|
| 14 | Israel Antezana, Emilio Insfrán, Roel J. Wieringa |
Enhancing a Requirements Specification Method with a Vocabulary Acquisition Tool. |
CIbSE |
2005 |
DBLP BibTeX RDF |
|
| 14 | Leandro Lopes 0001, Jorge Luis Nicolas Audy |
Impact of GSD in Requirements Specification - A Case Study. |
SEKE |
2005 |
DBLP BibTeX RDF |
|
| 14 | Carlos Videira, Alberto Rodrigues da Silva |
Patterns and metamodel for a natural-language-based requirements specification language. |
CAiSE Short Paper Proceedings |
2005 |
DBLP BibTeX RDF |
|
| 14 | Stephen G. MacDonell, Kyongho Min, Andy M. Connor |
Autonomous Requirements Specification Processing using Natural Language Processing. |
IASSE |
2005 |
DBLP BibTeX RDF |
|
| 14 | Evan E. Anderson, Joobin Choobineh, Michael R. Grimaila |
An Enterprise Level Security Requirements Specification Model. |
HICSS |
2005 |
DBLP DOI BibTeX RDF |
|
| 14 | Valter Fernandes Avelino |
MERUSA: architecture oriented safety and usability requirements specification methodology (MERUSA: metodologia de especificação de requisitos de usabilidade e segurança orientada para arquitetura). |
|
2005 |
RDF |
|
| 14 | Catherine Meadows 0001 |
Ordering from Satan's menu: a survey of requirements specification for formal analysis of cryptographic protocols. |
Sci. Comput. Program. |
2004 |
DBLP DOI BibTeX RDF |
|
| 14 | V. F. Avelino, S. S. S. Melnikoff |
Safety Requirements Specification on Open Distributed Systems. |
Software Engineering Research and Practice |
2004 |
DBLP BibTeX RDF |
|
| 14 | Bernard Wong 0002 |
A Study of the Metrics for Measuring the Quality of the Requirements Specification Document. |
Software Engineering Research and Practice |
2004 |
DBLP BibTeX RDF |
|
| 14 | J. Chris Gibson |
Developing A Requirements Specification For A Web Service Application. |
RE |
2004 |
DBLP DOI BibTeX RDF |
|
| 14 | Tomas Danikauskas, Rimantas Butleris |
Conceptual Data Model Design Using Functional Requirements Specification Methods. |
CAiSE Workshops (1) |
2004 |
DBLP BibTeX RDF |
|
| 14 | Rebeca P. Díaz Redondo, Martín López Nores, José Juan Pazos-Arias, Ana Fernández Vilas, Jorge García Duque, Alberto Gil-Solla, Ana Belén Barragáns-Martínez, Manuel Ramos Cabrer |
Supporting Software Variability by Reusing Generic Incomplete Models at the Requirements Specification Stage. |
ICSR |
2004 |
DBLP DOI BibTeX RDF |
|
| 14 | Leandro Lopes 0001, Rafael Prikladnicki, Jorge Luis Nicolas Audy, Azriel Majdenbaum |
Distributed Requirements Specification: Minimizing the Effect of Geographic Dispersion. |
ICEIS (3) |
2004 |
DBLP BibTeX RDF |
|
| 14 | Donald Firesmith |
Modern Requirements Specification. |
J. Object Technol. |
2003 |
DBLP DOI BibTeX RDF |
|
| 14 | Thomas Schlegel, Alexander Burst, Dorit Beger |
Interaktionsmodelle in der Spezifikation: Von der Datenzentrierung zur Ablauforientierung (Interaction models in the requirements specification: From data centric to flow centric models). |
i-com |
2003 |
DBLP DOI BibTeX RDF |
|
| 14 | Deanna Needell, Jeff A. Stuart, Tamara C. Thiel, Sergiu Dascalu, Frederick C. Harris Jr. |
Software Requirements Specification of a University Class Scheduler. |
Software Engineering Research and Practice |
2003 |
DBLP BibTeX RDF |
|
| 14 | Neil A. M. Maiden, Sara Jones 0001, Mary Flynn |
Integrating RE Methods to Support Use Case Based Requirements Specification. |
RE |
2003 |
DBLP DOI BibTeX RDF |
|
| 14 | David Tuffley |
Improving Information Systems Usability by Having a Technical Writer Facilitate Stakeholder Communication when Developing the Requirements Specification. |
IWIPS |
2003 |
DBLP BibTeX RDF |
|
| 14 | Rebeca P. Díaz Redondo, José Juan Pazos-Arias, Ana Fernández Vilas |
Reuse of Formal Verification Efforts of Incomplete Models at the Requirements Specification Stage. |
Component-Based Software Quality |
2003 |
DBLP DOI BibTeX RDF |
|
| 14 | Davor Svetinovic |
Architecture-Level Requirements Specification. |
STRAW |
2003 |
DBLP BibTeX RDF |
|
| 14 | Victor R. L. Shen, F. H. C. Shen |
Requirements specification and analysis of fault-tolerant digital systems. |
IEEE Trans. Syst. Man Cybern. Part A |
2002 |
DBLP DOI BibTeX RDF |
|
| 14 | Jesús Manuel Almendros-Jiménez, Luis González-Jiménez |
Erratum to "Bases for the development of LAST: a formal method for business software requirements specification" [Information and Software Technology, 44 (2002) 65-75]. |
Inf. Softw. Technol. |
2002 |
DBLP DOI BibTeX RDF |
|
| 14 | Jesús Manuel Almendros-Jiménez, Luis González-Jiménez |
Bases for the development of LAST: a formal method for business software requirements specification. |
Inf. Softw. Technol. |
2002 |
DBLP DOI BibTeX RDF |
|
| 14 | Davide Bolchini, Paolo Paolini |
Goal-Oriented Requirements Specification for Digital Libraries. |
ECDL |
2002 |
DBLP DOI BibTeX RDF |
|
| 14 | Catholijn M. Jonker, Jan Treur, Wouter C. A. Wijngaards |
Requirements Specification and Automated Evaluation of Dynamic Properties of a Component-Based Design. |
AID |
2002 |
DBLP DOI BibTeX RDF |
|
| 14 | Taeho Kim, David W. J. Stringer-Calvert, Sung Deok Cha |
Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using PVS. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
| 14 | Dale Scott Caffall, James Bret Michael |
A New Paradigm for Requirements Specification and Analysis of System-of-Systems. |
RISSEF |
2002 |
DBLP DOI BibTeX RDF |
|
| 14 | Rafael Prikladnicki, Fernando Peres, Jorge Luis Nicolas Audy, Michael da Costa Móra, Antônio Perdigoto |
Requirements Specification Model in a Software Development Process inside a Physically Distributed Environment. |
ICEIS |
2002 |
DBLP BibTeX RDF |
|
| 14 | Linda Dawson |
Template-Based Requirements Specification: A Case Study. |
ICEIS (2) |
2001 |
DBLP BibTeX RDF |
|
| 14 | J.-S. Lee, S.-D. Cha |
Qualitative formal method for requirements specification and validation of hybrid real-time safety systems. |
IEE Proc. Softw. |
2000 |
DBLP DOI BibTeX RDF |
|
| 14 | Jacques Ferber, Olivier Gutknecht, Catholijn M. Jonker, Jan Treur, Jean-Pierre Müller |
Organization Models and Behavioral Requirements Specification for Multi-Agent Systems. |
ICMAS |
2000 |
DBLP DOI BibTeX RDF |
|
| 14 | Linda Dawson, Arlene Sivas |
Requirements Specification for Electronic Services Delivery Applications Using "Lazy Dog" Templates. |
ICEIS |
2000 |
DBLP BibTeX RDF |
|
| 14 | Bashar Nuseibeh, Alessandra Russo |
Using Abduction to Evolve Inconsistent Requirements Specification. |
Australas. J. Inf. Syst. |
1999 |
DBLP BibTeX RDF |
|
| 14 | Patricio Letelier 0001, Pedro Sánchez, Isidro Ramos |
Prototyping a Requirements Specification through an Automatically Generated Concurrent Logic Program. |
PADL |
1999 |
DBLP DOI BibTeX RDF |
|
| 14 | Steven J. Cunning, Jerzy W. Rozenblit |
Test Scenario Generation from a Structured Requirements Specification. |
ECBS |
1999 |
DBLP DOI BibTeX RDF |
Requirements Engineering, System Design, Test Case Generation |
| 14 | Motoshi Saeki |
Reusing Use Case Descriptions for Requirements Specification: Towards Use Case Patterns. |
APSEC |
1999 |
DBLP DOI BibTeX RDF |
|
| 14 | Radu Grosu, Ingolf Krüger, Thomas Stauner |
Requirements specification of an automotive system with hybrid sequence charts. |
WORDS (Fall) |
1999 |
DBLP DOI BibTeX RDF |
|
| 14 | John Krogstie |
Integrating the understanding of quality in requirements specification and conceptual modeling. |
ACM SIGSOFT Softw. Eng. Notes |
1998 |
DBLP DOI BibTeX RDF |
|
| 14 | Victor R. L. Shen, Feipei Lai |
Requirements specification and analysis of digital systems using fuzzy and marked Petri nets. |
IEEE Trans. Syst. Man Cybern. Part B |
1998 |
DBLP DOI BibTeX RDF |
|
| 14 | Pathirage Gamini Wijayarathna, Y. Kawata, A. Santosa, K. Isogai, Mamoru Maekawa |
GSL: A Requirements Specification Language for End-User Intelligibility. |
Softw. Pract. Exp. |
1998 |
DBLP DOI BibTeX RDF |
|
| 14 | Diego Del Gobbo, Marcello R. Napolitano, John Callahan, Bojan Cukic |
Experience in Developing System Requirements Specification for a Sensor Failure Detection and Identification Scheme. |
HASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 14 | Nancy G. Leveson |
Designing a Requirements Specification Language for Reactive Systems. |
ZUM |
1998 |
DBLP DOI BibTeX RDF |
|
| 14 | Austen K. Jones, A. K. Kochhar |
Education and training requirements specification for implementation of manufacturing control systems. |
Strategic Management of the Manufacturing Value Chain |
1998 |
DBLP BibTeX RDF |
|
| 14 | Ann E. Kelley Sobel |
Formal Requirements Specification Analysis of Attitude Control of the International Space Station Alpha. |
HICSS (3) |
1998 |
DBLP DOI BibTeX RDF |
|
| 14 | Atsushi Ohnishi |
Audio-visual software requirements specification. |
MSE |
1998 |
DBLP DOI BibTeX RDF |
|
| 14 | Kenneth J. Turner |
Incremental Requirements Specification with LOTOS. |
Requir. Eng. |
1997 |
DBLP DOI BibTeX RDF |
|
| 14 | Erik Kamsties, H. Dieter Rombach |
A Framework for Evaluating System and Software Requirements Specification Approaches. |
Requirements Targeting Software and Systems Engineering |
1997 |
DBLP DOI BibTeX RDF |
|
| 14 | Roel J. Wieringa |
Advanced Object-Oriented Requirements Specification Methods. |
RE |
1997 |
DBLP DOI BibTeX RDF |
|
| 14 | Mats Per Erik Heimdahl, Jon Damon Reese |
Software Requirements Specification and System Safety. |
RE |
1997 |
DBLP DOI BibTeX RDF |
|
| 14 | Stuart R. Faulk, Constance L. Heitmeyer |
The SCR Approach to Requirements Specification and Analysis. |
RE |
1997 |
DBLP DOI BibTeX RDF |
|
| 14 | Reind P. van de Riet |
Research in the SIKS Research School: An Example of a Cooperation in Using Linguistic Tools for Requirements Specification in Cyberspace. |
GI Jahrestagung |
1997 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license