|
|
Venues (Conferences, Journals, ...)
|
|
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 |
15 | Magnus Eriksson, Jürgen Börstler, Kjell Borg |
Managing requirements specifications for product lines - An approach and industry case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 82(3), pp. 435-447, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Joaquín Nicolás, José Ambrosio Toval Álvarez |
On the generation of requirements specifications from software engineering models: A systematic literature review. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Softw. Technol. ![In: Inf. Softw. Technol. 51(9), pp. 1291-1307, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Sergio España, Nelly Condori-Fernández, Arturo González 0001, Oscar Pastor 0001 |
Evaluating the Completeness and Granularity of Functional Requirements Specifications: A Controlled Experiment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: RE 2009, 17th IEEE International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31 - September 4, 2009, pp. 161-170, 2009, IEEE Computer Society, 978-0-7695-3761-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
unity criteria, metrics, requirements engineering, experiment, completeness, use cases, granularity, communication analysis |
15 | Nelly Condori-Fernández, Maya Daneva, Klaas Sikkel, Roel J. Wieringa, Oscar Dieste, Oscar Pastor 0001 |
Research Findings on Empirical Evaluation of Requirements Specifications Approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WER ![In: Anais do WER09 - Workshop em Engenharia de Requisitos, Valparaíso, Chile, Julho 16-17, 2009, 2009, 978-956-319-941-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
15 | Yusuke Matsuo, Atsushi Ohnishi |
Transformation of Organization of Software Requirements Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOFT (1) ![In: ICSOFT 2009 - Proceedings of the 4th International Conference on Software and Data Technologies, Volume 1, Sofia, Bulgaria, July 26-29, 2009, pp. 291-294, 2009, INSTICC Press, 978-989-674-009-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
15 | Motoshi Saeki, Haruhiko Kaiya, Satoshi Hattori |
Detecting Regulatory Vulnerability in Functional Requirements Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOFT (1) ![In: ICSOFT 2009 - Proceedings of the 4th International Conference on Software and Data Technologies, Volume 1, Sofia, Bulgaria, July 26-29, 2009, pp. 105-114, 2009, INSTICC Press, 978-989-674-009-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
15 | Nelly Condori-Fernández, Maya Daneva, Klaas Sikkel, Roel J. Wieringa, Óscar Dieste Tubío, Oscar Pastor 0001 |
A systematic mapping study on empirical evaluation of software requirements specifications techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEM ![In: Proceedings of the Third International Symposium on Empirical Software Engineering and Measurement, ESEM 2009, October 15-16, 2009, Lake Buena Vista, Florida, USA, pp. 502-505, 2009, IEEE Computer Society, 978-1-4244-4842-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Tevfik Bultan, Constance L. Heitmeyer |
Applying infinite state model checking and other analysis techniques to tabular requirements specifications of safety-critical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Autom. Embed. Syst. ![In: Des. Autom. Embed. Syst. 12(1-2), pp. 97-137, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Requir. Eng. ![In: Requir. Eng. 13(3), pp. 187-206, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Requirements specification, Viewpoints, Inconsistency, Prioritization, Incompleteness |
15 | 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 |
On the interplay between inconsistency and incompleteness in multi-perspective requirements specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Softw. Technol. ![In: Inf. Softw. Technol. 50(4), pp. 296-321, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | 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 Multi-Perspective Software Requirements Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Eng. Knowl. Eng. ![In: Int. J. Softw. Eng. Knowl. Eng. 18(1), pp. 119-153, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Eric Knauss, Christian El Boustani |
Assessing the Quality of Software Requirements Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: 16th IEEE International Requirements Engineering Conference, RE 2008, 8-12 September 2008, Barcelona, Catalunya, Spain, pp. 341-342, 2008, IEEE Computer Society, 978-0-7695-3309-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Katharina Wolter, Michal Smialek, Daniel Bildhauer, Hermann Kaindl |
Reusing Terminology for Requirements Specifications from WordNet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: 16th IEEE International Requirements Engineering Conference, RE 2008, 8-12 September 2008, Barcelona, Catalunya, Spain, pp. 325-326, 2008, IEEE Computer Society, 978-0-7695-3309-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Nelly Condori-Fernández, Oscar Pastor 0001, Maya Daneva, Alain Abran, Jaelson Castro |
Quantifying Functional Reuse from Object Oriented Requirements Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WER ![In: Anais do WER08 - Workshop em Engenharia de Requisitos, Barcelona, Catalonia, Spain, September 12-13, 2008, 2008, 978-84-7653-144-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
15 | Silvia Mara Abrahão, Emilio Insfrán |
A Metamodeling Approach to Estimate Software Size from Requirements Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO-SEAA ![In: 34th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2008, September 3-5, 2008, Parma, Italy, pp. 465-475, 2008, IEEE Computer Society, 978-0-7695-3276-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Nelly Condori-Fernández, Silvia Mara Abrahão, Oscar Pastor 0001 |
On the Estimation of the Functional Size of Software from Requirements Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 22(3), pp. 358-370, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
requirement specification, measurement technique, product metrics |
15 | Tereza G. Kirner, Erik R. da Cruz |
Evaluation of the OORT Techniques for Inspection of Requirements Specifications in UML: an Empirical Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), Boston, Massachusetts, USA, July 9-11, 2007, pp. 649-, 2007, Knowledge Systems Institute Graduate School, 1-891706-20-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
15 | Sri Fatimah Tjong, Michael Hartley, Daniel M. Berry |
Extended Disambiguation Rules for Requirements Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WER ![In: Anais do WER07 - Workshop em Engenharia de Requisitos, Toronto, Canada, May 17-18, 2007, pp. 97-106, 2007, 978-1-55014-483-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
15 | Joe Geldart, William Song |
Integrating Requirements Specifications and Web Services Using Cognitive Models1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISD (2) ![In: Information Systems Development, Challenges in Practice, Theory, and Education Volume 2 [Proceedings of ISD 2007, National University of Ireland, Galway, Ireland. August 29-31, 2007]., pp. 1025-1032, 2007, Springer, 978-0-387-78577-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Mohamed Ghazel, El-Miloudi El-Koursi |
Automatic Level Crossings: From Informal Functional Requirements' Specifications to the Control Model Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoSE ![In: 2nd IEEE International Conference on System of Systems Engineering, SoSE 2007, San Antonio, TX, USA, 16-18 April 2007, pp. 1-6, 2007, IEEE, 1-4244-1159-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Jorge García Duque, Martín López Nores, José Juan Pazos-Arias, Ana Fernández Vilas, Rebeca P. Díaz Redondo, Alberto Gil-Solla, Yolanda Blanco-Fernández, Manuel Ramos Cabrer |
A Six-valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 16(2), pp. 227-255, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Alexander A. Letichevsky, Julia V. Kapitonova, A. A. Letichevsky Jr., Vladislav A. Volkov, Sergey Baranov, Thomas Weigert |
Basic protocols, message sequence charts, and the verification of requirements specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ![In: Comput. Networks 49(5), pp. 661-675, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Constance L. Heitmeyer, Myla Archer, Ramesh Bharadwaj, Ralph D. Jeffords |
Tools for constructing requirements specifications: the SCR Toolset at the age of nine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Syst. Sci. Eng. ![In: Comput. Syst. Sci. Eng. 20(1), 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
15 | Deirdre Carew, Chris Exton, Jim Buckley |
Preliminary Study to Empirically Investigate the Comprehensibility of Requirements Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPIG ![In: Proceedings of the 17th Annual Workshop of the Psychology of Programming Interest Group, PPIG 2005, Brighton, UK, June 29 - July 1, 2005, pp. 16, 2005, Psychology of Programming Interest Group. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
15 | Kedian Mu, Zhi Jin, Ruqian Lu, Weiru Liu |
Measuring Inconsistency in Requirements Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005, Proceedings, pp. 440-451, 2005, Springer, 3-540-27326-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Xuefeng Zhu, Zhi Jin |
Ontology-Based Inconsistency Management of Software Requirements Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM ![In: SOFSEM 2005: Theory and Practice of Computer Science, 31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovský Ján, Slovakia, January 22-28, 2005, Proceedings, pp. 340-349, 2005, Springer, 3-540-24302-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Xuefeng Zhu, Zhi Jin |
Inconsistency Measurement of Software Requirements Specifications: An Ontology-Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 16-20 June 2005, Shanghai, China, pp. 402-410, 2005, IEEE Computer Society, 0-7695-2284-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Charles Iheagwara, Andrew Blyth, Mike Bennett |
Architectural and Functional Issues in Systems Requirements Specifications for Wireless Intrusion Detection Systems Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Systems Communications ![In: Systems Communications 2005 (ICW / ICHSN / ICMCS / SENET 2005), 14-17 August 2005, Montreal, Canada, pp. 434-441, 2005, IEEE Computer Society, 0-7695-2422-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Dionisis X. Adamopoulos |
Integrating Requirements & Specifications in the Telecommunications Service Creation Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICETE (1) ![In: ICETE 2004, 1st International Conference on E-Business and Telecommunication Networks, Setúbal, Portugal, August 24-28, 2004, Proceedings, pp. 136-143, 2004, INSTICC Press, 972-8865-15-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
15 | Artur S. d'Avila Garcez, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer |
Combining abductive reasoning and inductive learning to evolve requirements specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEE Proc. Softw. ![In: IEE Proc. Softw. 150(1), pp. 25-38, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Erik Kamsties, Antje von Knethen, Ralf H. Reussner |
A controlled experiment to evaluate how styles affect the understandability of requirements specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Softw. Technol. ![In: Inf. Softw. Technol. 45(14), pp. 955-965, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Nikos Gorogiannis, Mark Ryan 0001 |
Requirements, specifications, and minimal refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: 9th Workhop on Logic, Language, Information and Computation, WoLLIC 2002, Rio de Janeiro, Brazil, July 30 - August 2, 2002, pp. 218-232, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Oliver Laitenberger, Thomas Beil, Thilo Schwinn |
An Industrial Case Study to Examine a Non-Traditional Inspection Implementation for Requirements Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Empir. Softw. Eng. ![In: Empir. Softw. Eng. 7(4), pp. 319-343, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
15 | Yunja Choi, Sanjai Rayadurgam, Mats Per Erik Heimdahl |
Toward Automation for Model-Checking Requirements Specifications with Numeric Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Requir. Eng. ![In: Requir. Eng. 7(4), pp. 225-242, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Model checking specifications, Abstraction, Numeric constraints |
15 | Guoqing Wu, Fengdi Shu, Min Wang, Weiqing Chen |
Requirements Specifications Checking of Embedded Real-Time Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 17(1), pp. 56-63, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Oliver Laitenberger, Thomas Beil, Thilo Schwinn |
An Industrial Case Study to examine a non-traditional Inspection Implementation for Requirements Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE METRICS ![In: 8th IEEE International Software Metrics Symposium (METRICS 2002), 4-7 June 2002, Ottawa, Canada, pp. 97-106, 2002, IEEE Computer Society, 0-7695-1339-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Beum-Seuk Lee, Barrett R. Bryant |
Contextual Natural Language Processing and DAML for Understanding Software Requirements Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLING ![In: 19th International Conference on Computational Linguistics, COLING 2002, Howard International House and Academia Sinica, Taipei, Taiwan, August 24 - September 1, 2002, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
15 | Nihal Kececi, Wolfgang A. Halang, Alain Abran |
A Semi-Formal Method to Verify Correctness of Functional Requirements Specifications of Complex Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIPES ![In: Design and Analysis of Distributed Embedded Systems, IFIP 17th World Computer Congress - TC10 Stream on Distributed and Parallel Embedded Systems (DIPES 2002), August 25-29, 2002, Montréal, Québec, Canada, pp. 61-69, 2002, Kluwer, 1-4020-7156-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
15 | Dorin Bogdan Petriu, C. Murray Woodside |
Analysing software requirements specifications for performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Software and Performance ![In: Third International Workshop on Software and Performance, WOSP@ISSTA 2002, July 24-26, 2002, Rome, Italy., pp. 1-9, 2002, ACM, 1-58113-563-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
performance, specifications, completion, nonfunctional requirements, use case maps |
15 | Goce Trajcevski, Chitta Baral, Jorge Lobo 0001 |
Formalizing and Reasoning About the Requirements Specifications of Workflow Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Cooperative Inf. Syst. ![In: Int. J. Cooperative Inf. Syst. 10(4), pp. 483-507, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Daya Gupta, Naveen Prakash |
Engineering Methods from Method Requirements Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Requir. Eng. ![In: Requir. Eng. 6(3), pp. 135-160, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
CAME tool, Method assembly, Method components, Meta-model, Requirements specification, Method engineering, Instantiation |
15 | Georg Kösters, Hans-Werner Six, Mario Winter |
Coupling Use Cases and Class Models as a Means for Validation and Verification of Requirements Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Requir. Eng. ![In: Requir. Eng. 6(1), pp. 3-17, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Activity graphs, UML, Verification, Requirements engineering, Validation, Use cases, Class models |
15 | Dinesh Batra, Solomon R. Antony |
Consulting support during conceptual database design in the presence of redundancy in requirements specifications: an empirical study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Hum. Comput. Stud. ![In: Int. J. Hum. Comput. Stud. 54(1), pp. 25-51, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Taeho Kim, Sung Deok Cha |
Automated structural analysis of SCR-style software requirements specifications using PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Test. Verification Reliab. ![In: Softw. Test. Verification Reliab. 11(3), pp. 143-163, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Ariel Fuxman, John Mylopoulos, Marco Pistore, Paolo Traverso |
Model Checking Early Requirements Specifications in Tropos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: 5th IEEE International Symposium on Requirements Engineering (RE 2001), 27-31 August 2001, Toronto, Canada, pp. 174-181, 2001, IEEE Computer Society, 0-7695-1125-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Amador Durán 0001, Beatriz Bernárdez 0001, Antonio Ruiz Cortés, Miguel Toro |
An XMLBased Approach for the Automatic Verification of Software Requirements Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WER ![In: Anais do WER01 - Workshop em Engenharia de Requisitos, Buenos Aires, Argentina, Novembro 22-23, 2001, pp. 181-194, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
15 | John Krogstie |
A Semiotic Approach to Quality in Requirements Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Organizational Semiotics ![In: Organizational Semiotics: Evolving a Science of Information Systems, IFIP TC8 / WG8.1 Working Conference on Organizational Semiotics: Evolving a Science of Information Systems, July 23-25, 2001, Montréal, Québec, Canada, pp. 231-249, 2001, Kluwer, 1-4020-7189-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
15 | Günther Fliedl, Christian Kop, Willi Mayerthaler, Heinrich C. Mayr, Christian Winkler |
Guidelines for NL-Based Requirements Specifications in NIBA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NLDB ![In: Natural Language Processing and Information Systems, 5th International Conference on Applications of Natural Language to Information Systems, NLDB 2000, Versailles, France, June 28-30, 2000, Revised Papers, pp. 251-264, 2000, Springer, 3-540-41943-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Günther Fliedl, Christian Kop, Willi Mayerthaler, Heinrich C. Mayr, Christian Winkler |
Linguistic Aspects of Dynamics in Requirements Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 11th International Workshop on Database and Expert Systems Applications (DEXA'00), 6-8 September 2000, Greenwich, London, UK, pp. 83-90, 2000, IEEE Computer Society, 0-7695-0680-1. The full citation details ...](Pics/full.jpeg) |
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 |
15 | Kimberly Meyers, Andrew S. Kanter, Régis Charlot, Frank Naeymi-Rad |
The Follow-up note: Format and Requirements, Specifications for the Computerized Medical Record. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMIA ![In: AMIA 2000, American Medical Informatics Association Annual Symposium, Los Angeles, CA, USA, November 4-8, 2000, 2000, AMIA. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
15 | Guoqing Wu, Xiang Liu, Shi Ying, Tetsuo Tamai |
Automated analysis of the SCR-style requirements specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 14(4), pp. 401-407, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Ramesh Bharadwaj, Constance L. Heitmeyer |
Model Checking Complete Requirements Specifications Using Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Softw. Eng. ![In: Autom. Softw. Eng. 6(1), pp. 37-68, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Hideaki Sugimoto, Atsushi Ohnishi |
A Detecting and Interpreting Method of the Inconsistency of Software Requirements Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 6th Asia-Pacific Software Engineering Conference (APSEC '99), 7-10 December 1999, Takamatsu, Japan, pp. 208-215, 1999, IEEE Computer Society, 0-7695-0509-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Dempster and Shafer's theory, software requirements specification, inconsistency management |
15 | Angelo Gargantini, Constance L. Heitmeyer |
Using Model Checking to Generate Tests from Requirements Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC / SIGSOFT FSE ![In: Software Engineering - ESEC/FSE'99, 7th European Software Engineering Conference, Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, September 1999, Proceedings, pp. 146-162, 1999, Springer, 3-540-66538-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Jonathan Lee 0004, Nien-Lin Xue, Kuo-Hsun Hsu, Yong-Yi Fangjang |
Structuring Requirements Specifications through Goals Interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 11th IEEE International Conference on Tools with Artificial Intelligence, ICTAI '99, Chicago, Illinois, USA, November 8-10, 1999, pp. 61-68, 1999, IEEE Computer Society, 0-7695-0456-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Conflicting Requirements, UML, Requirements Engineering, Goals |
15 | Axel van Lamsweerde, Laurent Willemet |
Inferring Declarative Requirements Specifications from Operational Scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 24(12), pp. 1089-1114, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Scenario-based requirements elicitation, inductive inference of specifications, specification refinement and analysis, goal-oriented requirements engineering, lightweight formal methods |
15 | Jean-Marc Zeippen, Eric Dubois 0001, Philippe Du Bois |
Supporting the Analyst when Reasoning on Requirements Specifications for Real-Time and Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 1st International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98), 20-22 April 1998, Kyoto, Japan, pp. 215-, 1998, IEEE Computer Society, 0-8186-8430-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Francesmary Modugno, Nancy G. Leveson, Jon Damon Reese, Kurt Partridge, Sean D. Sandys |
Integrated Safety Analysis of Requirements Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Requir. Eng. ![In: Requir. Eng. 2(2), pp. 65-78, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Moataz A. Ahmed, David C. Rine |
Generating fault-tolerant information distribution rules from high-level requirements specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Syst. Sci. ![In: Int. J. Syst. Sci. 28(11), pp. 1163-1176, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Jin Wang |
A subjective methodology for safety analysis of safety requirements specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 5(3), pp. 418-430, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Feliks Kluzniak, Miroslawa Milkowska |
Spill - A Logic Language for Writing Testable Requirements Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 28(2-3), pp. 193-223, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Francesmary Modugno, Nancy G. Leveson, Jon Damon Reese, Kurt Partridge, Sean D. Sandys |
Integrated Safety Analysis of Requirements Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: 3rd IEEE International Symposium on Requirements Engineering (RE'97), January 5-8, 1997, Annapolis, MD, USA, pp. 148-159, 1997, IEEE Computer Society, 0-8186-7740-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
software safety analysis, software safety, software requirements specification |
15 | Khalid Lateef, Hany H. Ammar, Vinay Mogulothu, Tooraj Nikzadeh |
A methodology for verification and analysis of parallel and distributed systems requirements specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDSE ![In: International Symposium on Software Engineering for Parallel and Distributed Systems, PDSE 1997, Boston, MA, USA, May 17-18, 1997, pp. 28-38, 1997, IEEE Computer Society, 0-8186-8043-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Danielle C. Fowler, Paul A. Swatman |
Presenting Object Oriented Formal Requirements Specifications: Insights from an Action Research Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWFM ![In: 1st Irish Workshop on Formal Methods, IWFM 1997, Dublin, Ireland, 3-4 July 1997, 1997, BCS. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
15 | George Spanoudakis |
Analogical Reuse of Requirements Specifications: A Computational Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Artif. Intell. ![In: Appl. Artif. Intell. 10(4), pp. 281-305, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Robert B. Jackson, David W. Embley, Scott N. Woodfield |
Developing Formal Object-Oriented Requirements Specifications: A Model, Tool and Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. ![In: Inf. Syst. 20(4), pp. 273-289, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
15 | Norbert E. Fuchs, Rolf Schwitter |
Attempto: Controlled Natural Language for Requirements Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPE ![In: Proceedings of the 7th Workshop on Logic Programming Environments, LPR '95, in conjunction with ILPS '95, Portland, Oregon, USA, December 8, 1995, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
15 | Amer Saeed, Rogério de Lemos, Tom Anderson 0001 |
Safety Analysis for Requirements Specifications: Methods and Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: 14th International Conference on Computer Safety, Reliability and Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995, pp. 27-41, 1995, Springer, 978-3-540-19962-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
15 | Constance L. Heitmeyer |
Requirements Specifications for Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hybrid Systems ![In: Hybrid Systems III: Verification and Control, Proceedings of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, October 22-25, 1995, Ruttgers University, New Brunswick, NJ, USA, pp. 304-314, 1995, Springer, 3-540-61155-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
15 | Jonathan Lee, Jiann-I Pan, Wei T. Huang |
Integrating object-oriented requirements specifications with formal notations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: Seventh International Conference on Tools with Artificial Intelligence, ICTAI '95, Herndon, VA, USA, November 5-8, 1995, pp. 34-41, 1995, IEEE Computer Society, 0-8186-7312-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
15 | Jeremy Pitt, Jim Cunningham |
Making Requirements Specifications Accessible via Logic, Language and Graphics: A Progress Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Proceedings of the Eighth International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 1995:, June 6-8, 1995, Melbourne, Australia., pp. 655-663, 1995, ACM. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
15 | Jeffrey J. P. Tsai, Alan Liu, Krishnakumar R. Nair |
Debugging Logic-Based Requirements Specifications for Safety-Critical Systems - a FRORL Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Eng. Knowl. Eng. ![In: Int. J. Softw. Eng. Knowl. Eng. 4(2), pp. 205-228, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
15 | Feliks Kluzniak, Miroslawa Milkowska |
Readable, Runnable Requirements Specifications in SPILL-2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings, pp. 449-450, 1994, Springer, 3-540-58402-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
15 | Feliks Kluzniak, Miroslawa Milkowska |
Executable requirements Specifications in a Logic Specification Language SPILL-2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop: Applications of Logic Programming to Software Engineering ![In: ICLP 1994 Workshop W7: Applications of Logic Programming to Software Engineering, Santa Margherita Ligure, Italy, June 1994, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
15 | Robert B. Jackson, David W. Embley, Scott N. Woodfield |
Automated Support for the Development of Formal Object-Oriented Requirements Specifications ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, CAiSE'94, Utrecht, The Netherlands, June 6-10, 1994, Proceedings, pp. 135-148, 1994, Springer, 3-540-58113-8. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
15 | Eric Dubois 0001, Philippe Du Bois, Frédéric DuBru |
Animating Formal Requirements Specifications of Cooperative Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoopIS ![In: Proceedings of the Second International Conference on Cooperative Information Systems, May 17-20, 1994, Toronto, Canada., pp. 101-112, 1994, World Scientific. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
15 | Jeffrey J. P. Tsai, Alan Liu, Krishnakumar R. Nair |
Debugging Logic-Based Requirements Specifications - a FRORL Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: SEKE'93, The 5th International Conference on Software Engineering and Knowledge Engineering, Tutorials, June 14-15, 1993, Technical Program, June 16-18, 1993, Hotel Sofitel, San Francisco Bay, USA, pp. 372-379, 1993, Knowledge Systems Institute. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
15 | Amer Saeed, Rogério de Lemos, Tom Anderson 0001 |
Robust Requirements Specifications for Safety - Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: The 12th International Conference on Computer Safety, Reliability and Security, SAFECOMP 1993, Poznań-Kiekrz, Poland, October 27-29, 1993, pp. 219-229, 1993, Springer, 978-3-540-19838-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
15 | Silvana Castano, Valeria De Antonellis, Pierluigi San Pietro |
Reuse of Object-Oriented Requirements Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Entity-Relationship Approach - ER'93, 12th International Conference on the Entity-Relationship Approach, Arlington, Texas, USA, December 15-17, 1993, Proceedings, pp. 339-351, 1993, Springer, 3-540-58217-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
15 | C. B. Piprani, R. Bruce Morris |
A Multi-Model Approach for Deriving Requirements Specifications for a Mega-Project ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, CAiSE'93, Paris, France, June 8-11, 1993, Proceedings, pp. 199-220, 1993, Springer, 3-540-56777-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
15 | Daniel E. Cooke, Ann Q. Gates |
On the Development of a Method to Synthesize Programs from Requirements Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Eng. Knowl. Eng. ![In: Int. J. Softw. Eng. Knowl. Eng. 1(1), pp. 21-38, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
15 | W. Lewis Johnson, Martin S. Feather, David R. Harris 0002 |
The KBSA Requirements/Specifications Facet: ARIES. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings 6th Annual Knowledge-Based Software Engineering Conference, KBSE 1991, Syracuse, New York, USA, September 22-25, 1991, pp. 48-56, 1991, IEEE Computer Society, 0-8186-2605-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
15 | John E. Odom |
Using Box Structures for Definition of Requirements Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IBM Syst. J. ![In: IBM Syst. J. 29(1), pp. 59-78, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
15 | Sidney C. Bailin |
An Object-Oriented Requirements Specifications Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 32(5), pp. 608-623, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
15 | Anthony Finkelstein |
Re-use of formatted requirements specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Eng. J. ![In: Softw. Eng. J. 3(5), pp. 186-197, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
15 | Jeff Kramer, Nr Keng |
Animation of Requirements Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 18(8), pp. 749-774, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
15 | Yasushi Wakahara, Atsushi Ito |
Prototyping System for Telecommunications Software Based on Abstract Execution of Requirements Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ![In: Comput. Networks 13, pp. 119-128, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
15 | Alexander Borgida, Sol J. Greenspan, John Mylopoulos |
Knowledge Representation as the Basis for Requirements Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 18(4), pp. 82-91, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
15 | Frank A. Cioch |
Software Understandability: an Empirical Study (Comprehension, Requirements, Specifications, Expertise, Methodology). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1985 |
RDF |
|
15 | Alan M. Davis |
Rapid prototyping using executable requirements specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rapid Prototyping ![In: Proceedings of the workshop on Rapid Prototyping, Columbia, Maryland, USA, April 19-21, 1982, pp. 39-44, 1982, ACM, 978-0-89791-094-1. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
15 | Jef Jacobs, J. H. van Moll, Paul J. Krause, Rob J. Kusters, Jos J. M. Trienekens |
Effects of Virtual Development on Product Quality: Exploring Defect Causes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STEP ![In: 11th International Workshop on Software Technology and Engineering Practice (STEP 2003), 19-21 September 2003, Amsterdam, The Netherlands, pp. 6-15, 2003, IEEE Computer Society, 0-7695-2218-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Virtual development, Defect injection, Defect Causal Analysis, Defect detection, Product Quality |
15 | Bill Mitchell, Robert Thomson 0002, Paul Bristow |
Scenario Synthesis from Imprecise Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: System Analysis and Modeling, 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers, pp. 122-137, 2004, Springer, 3-540-24561-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Daniela E. Herlea, Catholijn M. Jonker, Jan Treur, Niek J. E. Wijngaards |
Integration of Behavioural Requirements Specification within Knowledge Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EKAW ![In: Knowledge Acquisition, Modeling and Management, 11th European Workshop, EKAW '99, Dagstuhl Castle, Germany, May 26-29, 1999, Proceedings, pp. 173-190, 1999, Springer, 3-540-66044-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Miguel A. Laguna, Oscar López, Yania Crespo |
Reuse, Standardization, and Transformation of Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSR ![In: Software Reuse: Methods, Techniques and Tools: 8th International Conference, ICSR 2004, Madrid, Spain, July 5-9, 2009. Proceedings, pp. 329-338, 2004, Springer, 3-540-22335-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | David Peter Eames, Jonathan D. Moffett |
The Integration of Safety and Security Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability and Security, 18th International Conference, SAFECOMP'99, Toulouse, France, September, 1999, Proceedings, pp. 468-480, 1999, Springer, 3-540-66488-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Atsushi Ohnishi |
Software Requirements Definition for Specification Database. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 2-5 December 1997, Clear Water Bay, Hong Kong, pp. 521-520, 1997, IEEE Computer Society, 0-8186-8271-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
specification database, software requirements language, requirements definition, software requirements specification |
15 | Yannis Vassiliou, Manolis Marakakis, Panagiotis Katalagarianos, Lawrence Chung, Michalis Mertikas, John Mylopoulos |
IRIS - A Mapping Assistant for Generating Designs from Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, Second Nordic Conference CAiSE'90, Stockholm, Sweden, May 8-10, 1990, Proceedings, pp. 307-338, 1990, Springer, 3-540-52625-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
13 | Mauro Pezzè, Jochen Wuttke |
Automatic Generation of Runtime Failure Detectors from Property Templates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering for Self-Adaptive Systems ![In: Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar], pp. 223-240, 2009, Springer, 978-3-642-02160-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Rebeca P. Díaz Redondo, José Juan Pazos-Arias, Ana Fernández Vilas, Ana Belén Barragáns-Martínez |
Approximate Retrieval of Incomplete and Formal Specifications Applied to Horizontal Reuse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 28th EUROMICRO Conference 2002, 4-6 September 2002, Dortmund, Germany, pp. 90-97, 2002, IEEE Computer Society, 0-7695-1787-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
component-based requirements engineering, reuse of formal requirement specifications, iterative and incremental software processes, software reuse |
13 | Nathan Weston, Ruzanna Chitchyan, Awais Rashid |
Formal semantic conflict detection in aspect-oriented requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Requir. Eng. ![In: Requir. Eng. 14(4), pp. 247-268, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Semantic composition, Formal methods, Requirements engineering, Conflict detection, Predicate logic, Aspect-oriented requirements engineering |
Displaying result #201 - #300 of 429 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ >>] |
|