|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 933 occurrences of 510 keywords
|
|
|
Results
Found 761 publication records. Showing 761 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
10 | Shaoying Liu, Masashi Asuka, Kiyotoshi Komaya, Yasuaki Nakamura |
An Approach to Specifying and Verifying Safety-Critical Systems with Practical Formal Method SOFL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 4th International Conference on Engineering of Complex Computer Systems (ICECCS '98), 10-14 August 1998, Monterey, CA, USA, pp. 100-114, 1998, IEEE Computer Society, 0-8186-8597-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
railway crossing controller, verification, formal specification, formal methods, Safety-critical systems, functional requirements, safety requirements |
10 | David A. Fura, Phillip J. Windley, Arun K. Somani |
Abstraction Techniques for Modeling Real-World Interface Chips. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HUG ![In: Higher Order Logic Theorem Proving and its Applications, 6th International Workshop, HUG '93, Vancouver, BC, Canada, August 11-13, 1993, Proceedings, pp. 267-280, 1993, Springer, 3-540-57826-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
9 | Wayne Robbins |
Achieving DoDAF-driven simulations through executable architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim ![In: Proceedings of the 2009 Spring Simulation Multiconference, SpringSim 2009, San Diego, California, USA, March 22-27, 2009, 2009, SCS/ACM. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
executable architecture (EA), model-based system engineering (MBSE), model-driven architecture (MDA), architecture framework, DoDAF |
9 | Michael Feary |
Automatic Detection of Interaction Vulnerabilities in an Executable Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (13) ![In: Engineering Psychology and Cognitive Ergonomics, 7th International Conference, EPCE 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, pp. 487-496, 2007, Springer, 978-3-540-73330-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
automation surprise analysis, automation design |
9 | Carlos Mario Zapata Jaramillo, Guillermo González-Calderon, Alexander F. Gelbukh |
A Rule-Based System for Assessing Consistency Between UML Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICAI ![In: MICAI 2007: Advances in Artificial Intelligence, 6th Mexican International Conference on Artificial Intelligence, Aguascalientes, Mexico, November 4-10, 2007, Proceedings, pp. 215-224, 2007, Springer, 978-3-540-76630-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel |
Towards a formal methodology for developing multi-agent applications using temporal Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICCSA ![In: 2005 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2005), January 3-6, 2005, Cairo, Egypt, pp. 123, 2005, IEEE Computer Society, 0-7803-8735-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Bilel Gargouri, Mohamed Jmaiel, Abdelmajid Ben Hamadou |
An Environment for Formal Specification and Verification of Lingware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Engineering of Intelligent Systems, 14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2001, Budapest, Hungary, June 4-7, 2001, Proceedings, pp. 539-545, 2001, Springer, 3-540-42219-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
9 | Frederick T. Sheldon, Hye Yeon Kim, Zhihe Zhou |
A Case Study: Validation of Guidance Control Software Requirements for Completeness, Consistency and Fault Tolerance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 8th Pacific Rim International Symposium on Dependable Computing (PRDC 2001), 17-19 December 2001, Seoul, Korea, pp. 311-318, 2001, IEEE Computer Society, 0-7695-1414-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
9 | Bilel Gargouri, Mohamed Jmaiel, Abdelmajid Ben Hamadou |
An Environment for Formal Lingware Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICCSA ![In: 2001 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2001), 26-29 June 2001, Beirut, Lebanon, pp. 451-453, 2001, IEEE Computer Society, 0-7695-1165-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
9 | Rahma Ben Ayed, Jules Desharnais, Marc Frappier, Ali Mili 0001 |
Mathematical Foundations for Program Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Programming Synthesis and Transformation, 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Proceedings, pp. 319-321, 1998, Springer, 3-540-65765-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
9 | Christopher Paul Gerrard, Derek Coleman, Robin M. Gallimore |
Formal Specification and Design Time Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(1), pp. 1-12, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
design time testing, executable specification language OBJ, formal specification, formal specification, specification languages, regularity, uniformity |
9 | Avi Soffer, Dov Dori |
Bridging the requirements-implementation modeling gap with object-process methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 5(1), pp. 27-34, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Transition from specification to design, Model-driven development |
9 | Vieri Del Bianco, Luigi Lavazza |
Applying the COSMIC Functional Size Measurement Method to Problem Frames. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 14th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2009, Potsdam, Germany, 2-4 June 2009, pp. 282-290, 2009, IEEE Computer Society, 978-0-7695-3702-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Haruhiko Kaiya, Tomonori Sato, Akira Osada, Naoyuki Kitazawa, Kenji Kaijiri |
Toward quality requirements analysis based on domain specific quality spectrum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 596-601, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
requirements analysis, non-functional requirements, quality requirements |
9 | Jane Huffman Hayes, Giuliano Antoniol, Yann-Gaël Guéhéneuc |
PREREQIR: Recovering Pre-Requirements via Cluster Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCRE ![In: WCRE 2008, Proceedings of the 15th Working Conference on Reverse Engineering, Antwerp, Belgium, October 15-18, 2008, pp. 165-174, 2008, IEEE Computer Society, 978-0-7695-3429-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Stan Kurkovsky |
Four roles of instructor in software engineering projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 13th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2008, Madrid, Spain, June 30 - July 2, 2008, pp. 354, 2008, ACM, 978-1-60558-078-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
role of instructor, software engineering project |
9 | Christoph Knieke, Michaela Huhn, Malte Lochau |
Modeling and Validation of Executable Requirements Using Live Activity Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERA ![In: Proceedings of the 6th ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2008, 20-22 August 2008, Prague, Czech Republic, pp. 51-58, 2008, IEEE Computer Society, 978-0-7695-3302-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Unified Modeling Language, Requirements Engineering, Model Driven Engineering, Activity Diagrams, Live Sequence Charts |
9 | Moshiur Bhuiyan, M. M. Zahidul Islam, Aneesh Krishna, Aditya Ghose |
Integration of Agent-Oriented Conceptual Models and UML Activity Diagrams Using Effect Annotations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: 31st Annual International Computer Software and Applications Conference, COMPSAC 2007, Beijing, China, July 24-27, 2007. Volume 1, pp. 171-178, 2007, IEEE Computer Society, 978-0-7695-2870-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Mark Doernhoefer |
Surfing the net for software engineering notes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 31(2), pp. 17-25, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
9 | John Viega |
Building security requirements with CLASP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 30(4), pp. 1-7, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
security requirements, application security, security process |
9 | Ivan Jureta, Stéphane Faulkner |
An Agent-Oriented Meta-model for Enterprise Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER (Workshops) ![In: Perspectives in Conceptual Modeling, ER 2005 Workshops AOIS, BP-UML, CoMoGIS, eCOMO, and QoIS, Klagenfurt, Austria, October 24-28, 2005, Proceedings, pp. 151-161, 2005, Springer, 3-540-29395-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Ivan Jureta, Stéphane Faulkner, Manuel Kolp |
Formalizing Agent-Oriented Enterprise Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOIS ![In: Agent-Oriented Information Systems III, 7th International Bi-Conference Workshop, AOIS2005, Utrecht, Netherlands, July 26, 2005, and Klagenfurt, Austria, October 27, 2005, Revised Selected Papers, pp. 184-199, 2005, Springer, 3-540-48291-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Pedro Valderas, Joan Fons, Vicente Pelechano |
Developing E-Commerce Applications from Task-Based Descriptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC-Web ![In: E-Commerce and Web Technologies: 6th International Conference, EC-Web 2005, Copenhagen, Denmark, August 23-26, 2005, Proceedings, pp. 65-75, 2005, Springer, 3-540-28467-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Evangelia Kavakli |
Goal-Oriented Requirements Engineering: A Unifying Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Requir. Eng. ![In: Requir. Eng. 6(4), pp. 237-251, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Goal analysis, Goal modelling, Goal-oriented requirements engineering, Method integration |
9 | Carina Frota Alves, Anthony Finkelstein |
Challenges in COTS decision-making: a goal-driven requirements engineering perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: Proceedings of the 14th international conference on Software engineering and knowledge engineering, SEKE 2002, Ischia, Italy, July 15-19, 2002, pp. 789-794, 2002, ACM, 1-58113-556-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
decision-making COTS-based system, requirements engineering |
9 | Michel Benaroch |
Specifying Local Ontologies in Support of Semantic Interoperability of Distributed Inter-organizational Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NGITS ![In: Next Generation Information Technologies and Systems, 5th International Workshop, NGITS 2002, Caesarea, Israel, June 24-25, 2002, Proceedings, pp. 90-106, 2002, Springer, 3-540-43819-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
9 | Jane Cleland-Huang, Carl K. Chang, Yujia Ge |
Supporting Event Based Traceability through High-Level Recognition of Change Events. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 26th International Computer Software and Applications Conference (COMPSAC 2002), Prolonging Software Life: Development and Redevelopment, 26-29 August 2002, Oxford, England, Proceedings, pp. 595-602, 2002, IEEE Computer Society, 0-7695-1727-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
9 | Nina Katic, Boris Nevstrujev, Douglas R. Vogel, Mark Pendergast |
Bridging the Gap Between Structured Requirements and Object-Oriented Analysis and Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (3) ![In: 29th Annual Hawaii International Conference on System Sciences (HICSS-29), January 3-6, 1996, Maui, Hawaii, USA, pp. 525-, 1996, IEEE Computer Society, 0-8186-7324-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
9 | Dale A. Brown |
Requiring CS1 students to write requirements specifications: a rationale, implementation suggestions, and a case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 19th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1988, Atlanta, Georgia, USA, February 25-26, 1988, pp. 13-16, 1988, ACM, 978-0-89791-256-3. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
8 | Michael Goedicke, Thomas Herrmann |
A Case for ViewPoints and Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Monterey Workshop ![In: Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs, 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers, pp. 62-84, 2007, Springer, 978-3-540-89777-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
8 | Chih-Wei Ho, Laurie A. Williams |
Developing software performance with the performance refinement and evolution model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOSP ![In: Proceedings of the 6th International Workshop on Software and Performance, WOSP 2007, Buenes Aires, Argentina, February 5-8, 2007, pp. 133-136, 2007, ACM, 1-59593-297-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
software performance engineering process, performance requirements, software performance testing |
8 | Gonzalo Rojas 0001, Pedro Valderas, Vicente Pelechano |
Describing Adaptive Navigation Requirements of Web Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AH ![In: Adaptive Hypermedia and Adaptive Web-Based Systems, 4th International Conference, AH 2006, Dublin, Ireland, June 21-23, 2006, Proceedings, pp. 318-322, 2006, Springer, 3-540-34696-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
8 | T. S. E. Maibaum |
The Epistemology of Validation and Verification Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom ![In: Testing of Communicating Systems, 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings, pp. 1-8, 2005, Springer, 3-540-26054-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
8 | 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 |
|
8 | Islam A. M. El-Maddah, T. S. E. Maibaum |
Requirements-Reuse Using GOPCSD: Component-Based Development of Process Control Systems. ![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. 318-328, 2004, Springer, 3-540-22335-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Colin J. Neill, Phillip A. Laplante |
Requirements Engineering: The State of the Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 20(6), pp. 40-45, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Specification, Requirements |
8 | David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli |
Smart play-out. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2003, October 26-30, 2003, Anaheim, CA, USA, pp. 68-69, 2003, ACM, 1-58113-751-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
play-out, system modeling and execution, UML, scenarios, object-oriented analysis and design, LSCs |
8 | K. Suzanne Barber, Thomas J. Graser |
Tool Support for Systematic Class Identification in Object-Oriented Software Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (37) ![In: TOOLS Pacific 2000: 37th International Conference on Technology of Object-Oriented Languages and Systems, Sydney, Australia, November 2000, pp. 82-93, 2000, IEEE Computer Society, 0-7695-0918-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
8 | Tereza G. Kirner |
Applying the SCR Method in Software Requirements Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCCC ![In: 20st International Conference of the Chilean Computer Science Society (SCCC 2000), 16-18 November 2000, Santiago, Chile, pp. 135-143, 2000, IEEE Computer Society, 0-7695-0810-3. The full citation details ...](Pics/full.jpeg) |
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 |
8 | Amitvikram Rajkhowa, Perry Alexander |
VSPEC Constraints Modeling and Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 6th Symposium on Engineering of Computer-Based Systems (ECBS '99), 7-12 March 1999, Nashville, TN, USA. IEEE Computer Society, 1999, pp. 159-165, 1999, IEEE Computer Society, 0-7695-0028-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
performance constraints evaluation, constraints verification |
8 | Tereza G. Kirner, Rogéria Cristiane Gratão |
A Method-Based Tool for the Specification of Multiple Views of System Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (6) ![In: Thirty-First Annual Hawaii International Conference on System Sciences, Kohala Coast, Hawaii, USA, January 6-9, 1998, pp. 161-170, 1998, IEEE Computer Society, 0-8186-8255-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
8 | Miles Osborne, Craig K. MacNish |
Processing Natural Language Software Requirement Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRE ![In: Proceedings of the 2nd International Conference on Requirements Engineering, ICRE '96, Colorado Springs, Colorado, USA, April 15-18, 1996, pp. 229-237, 1996, IEEE Computer Society, 0-8186-7252-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Ambiguity Detection, Natural Language Processing, Tool Support |
8 | Kasilingam Periyasamy, J. Chidambaram |
Software reuse using formal specification of requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 1996 conference of the Centre for Advanced Studies on Collaborative Research, November 12-14, 1996, Toronto, Ontario, Canada, pp. 31, 1996, IBM. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
8 | Friederike Nickl, Martin Wirsing |
A Formal Approach to Requirements Engineering (Invited Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods in Programming and Their Applications ![In: Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28 - July 2, 1993, Proceedings, pp. 312-334, 1993, Springer, 3-540-57316-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
8 | Beverly K. Kahn |
A Method for Describing Information Required by the Database Design Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1976 ACM SIGMOD International Conference on Management of Data, Washington, DC, USA, June 2-4, 1976., pp. 53-64, 1976, ACM, 978-1-4503-4729-7. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
7 | R. S. Mans, Wil M. P. van der Aalst, Nick C. Russell, Piet J. M. Bakker, Arnold J. Moleman, Kristian Bisgaard Lassen, Jens Bæk Jørgensen |
From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Petri Nets Other Model. Concurr. ![In: Transactions on Petri Nets and Other Models of Concurrency III, pp. 25-49, 2009, Springer, 978-3-642-04854-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Executable Use Cases, healthcare, Workflow Management, Colored Petri Nets |
7 | Felipe G. Dias, Eber A. Schmitz, Maria Luiza Machado Campos, Alexandre L. Correa, Antonio J. Alencar |
Elaboration of use case specifications: an approach based on use case fragments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 614-618, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
information systems specification, use case fragments, use cases |
7 | Ishrar Hussain, Olga Ormandjieva, Leila Kosseim |
Automatic Quality Assessment of SRS Text by Means of a Decision-Tree-Based Text Classifier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: Seventh International Conference on Quality Software (QSIC 2007), 11-12 October 2007, Portland, Oregon, USA, pp. 209-218, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
7 | Jaap Gordijn, Michaël Petit, Roel J. Wieringa |
Understanding Business Strategies of Networked Value Constellations Using Goal- and Value Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: 14th IEEE International Conference on Requirements Engineering (RE 2006), 11-15 September 2006, Minneapolis/St.Paul, Minnesota, USA, pp. 126-135, 2006, IEEE Computer Society, 0-7695-2555-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
7 | Bengt Ljungquist, Thomas Thelin |
An IEC 62061 Compliant Safety System Design Method for Machinery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings, pp. 330-343, 2005, Springer, 3-540-29200-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
7 | Grigori Melnik, Kris Read, Frank Maurer |
Suitability of FIT User Acceptance Tests for Specifying Functional Requirements: Developer Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
XP/Agile Universe ![In: Extreme Programming and Agile Methods - XP/Agile Universe 2004, 4th Conference on Extreme Programming and Agile Methods, Calgary, Canada, August 15-18, 2004, Proceedings, pp. 60-72, 2004, Springer, 3-540-22839-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
7 | Carlos Videira, Joáo Leonardo Carmo, Alberto Rodrigues da Silva |
The ProjectIT-RSL Language Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML Satellite Activities ![In: UML Modeling Languages and Applications, «UML» 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers, pp. 269-272, 2004, Springer, 3-540-25081-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
7 | 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 |
7 | Haruhiko Kaiya, Hisayuki Horai, Motoshi Saeki |
AGORA: Attributed Goal-Oriented Requirements Analysis Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: 10th Anniversary IEEE Joint International Conference on Requirements Engineering (RE 2002), 9-13 September 2002, Essen, Germany, pp. 13-22, 2002, IEEE Computer Society, 0-7695-1465-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Requirements Elicitation, Quality Metrics, Goal Oriented Analysis |
7 | Maria Bruno Marietto, Nuno David, Jaime Simão Sichman, Helder Coelho |
Requirements Analysis of Agent-Based Simulation Platforms: State of the Art and New Prospects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MABS ![In: Multi-Agent-Based Simulation, Third International Workshop, MABS 2002, Bologna, Italy, July 15-16, 2002, Revised Papers, pp. 125-141, 2002, Springer, 3-540-00607-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
7 | Brian Whitworth, Aldo de Moor |
Legitimate by Design: Towards Trusted Virtual Community Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 35th Hawaii International Conference on System Sciences (HICSS-35 2002), CD-ROM / Abstracts Proceedings, 7-10 January 2002, Big Island, HI, USA, pp. 213, 2002, IEEE Computer Society, 0-7695-1435-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
7 | Silvia Teresita Acuña, Cecilia María Lasserre, Viviana Elizabet Quincoces |
Human capacities in the software process: empiric validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 24th International Conference on Software Engineering, ICSE 2002, 19-25 May 2002, Orlando, Florida, USA, pp. 715, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
7 | Michael Lang 0001, Jim Duggan |
A Tool to Support Collaborative Software Requirements Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Requir. Eng. ![In: Requir. Eng. 6(3), pp. 161-172, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Computer-aided software engineering, Software development process, Requirements management, Requirements volatility |
7 | Junzo Kato, Seiichi Komiya, Motoshi Saeki, Atsushi Ohnishi, Morio Nagata, Shuichiro Yamamoto, Hisayuki Horai |
A Model for Navigating Interview Processes in Requirements Elicitation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 4-7 December 2001, Macau, China, pp. 141-148, 2001, IEEE Computer Society, 0-7695-1408-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
7 | Cecilia María Lasserre, Viviana Elizabet Quincoces, Silvia Teresita Acuña |
Empiric Validation Of The Person To Role Allocation Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCCC ![In: 21st International Conference of the Chilean Computer Science Society (SCCC 2001), 6-8 November 2001, Punta Arenas, Chile, pp. 168-177, 2001, IEEE Computer Society, 0-7695-1396-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
7 | Magnus C. Ohlsson, Claes Wohlin |
An Empirical Study of Effort Estimation during Project Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE METRICS ![In: 6th IEEE International Software Metrics Symposium (METRICS 1999), 4-6 November 1999, Boca Raton, FL, USA, pp. 91-, 1999, IEEE Computer Society, 0-7695-0403-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
proxy-based estimation, education, measurements, empirical study, data collection, Effort estimation, experience base |
7 | Javier Andrade Garda, Juan Ares Casal, Óscar Dieste Tubío, Rafael García Vázquez, Marta López Fernández, Santiago Rodríguez Yáñez, Luisa Verde |
Creation of an Automated Management Software Requirements Environment: A Practical Experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 10th International Workshop on Database & Expert Systems Applications, Florence, Italy, September 1-3, 1999, Proceedings., pp. 328-335, 1999, IEEE Computer Society, 0-7695-0281-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
automated requirements management, types and attributes of requirements, requirements tools evaluation, practical experience |
7 | Peter Haumer, Klaus Pohl, Klaus Weidenhaupt 0002 |
Requirements Elicitation and Validation with Real World Scenes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 24(12), pp. 1036-1054, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
scenario-based requirements engineering, process-integrated environments, software development, scenario, requirements elicitation, goal modeling, Requirements management, requirements traceability, requirements validation, rich media |
7 | Peter Göhner |
Building IPSE's by Combining Heterogeneous CASE Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Development Environments and CASE Technology ![In: Software Development Environments and CASE Technology, European Symposium, Königswinter, Germany, June 17-19, 1991, Proceedings, pp. 18-30, 1991, Springer, 3-540-54194-2. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
7 | David Bolton, Chris Hankin, Paul H. J. Kelly |
Parallel Object-Oriented Descriptions of Graph Reduction Machines (extended abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE (1) ![In: PARLE '89: Parallel Architectures and Languages Europe, Volume I: Parallel Architectures, Eindhoven, The Netherlands, June 12-16, 1989, Proceedings, pp. 158-175, 1989, Springer, 3-540-51284-5. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
Parallel combinator reduction, object-oriented programming, graph rewriting systems |
6 | Rajesh K. Thiagarajan, Wolfgang Mayer, Markus Stumptner |
Semantic Service Discovery by Consistency-Based Matchmaking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APWeb/WAIM ![In: Advances in Data and Web Management, Joint International Conferences, APWeb/WAIM 2009, Suzhou, China, April 2-4, 2009, Proceedings, pp. 492-505, 2009, Springer, 978-3-642-00671-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
6 | Ferid Cafer, Sanjay Misra |
A cognitive requirement specification model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCIS ![In: The 24th International Symposium on Computer and Information Sciences, ISCIS 2009, 14-16 September 2009, North Cyprus, pp. 518-521, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
6 | Victor R. L. Shen, Tong-Ying Tony Juang |
Verification of Knowledge-Based Systems Using Predicate/Transition Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 38(1), pp. 78-87, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
6 | Fernando Valles-Barajas |
A requirements engineering process for control engineering software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 3(4), pp. 217-227, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
1992 ACC two-mass-spring, Software engineering, Requirements engineering, Adaptive control, Robust control, Control engineering |
6 | Jesper Berthing, Christo Angelov |
Component-Based Design of Safe Real-Time Kernels for Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO-SEAA ![In: 33rd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2007), August 28-31, 2007, Lübeck, Germany, pp. 129-136, 2007, IEEE Computer Society, 0-7695-2977-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
6 | Saeed Jalili, Mehdi MirzaAghaei |
RVERL: Run-time Verification of Real-time and Reactive Programs using Event-based Real-Time Logic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERA ![In: 5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007), August 20-22, 2007, Haeundae Grand Hotel, Busan, Korea, pp. 550-557, 2007, IEEE Computer Society, 0-7695-2867-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Runtime Verification (RV), Real-time and Reactive Program, Event-based Real-Time Logic (ERL), Aspect- Oriented Approach |
6 | Anna Queralt, Ernest Teniente |
Specifying the Semantics of Operation Contracts in Conceptual Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Data Semantics ![In: Journal on Data Semantics VII, pp. 33-56, 2006, Springer, 3-540-46329-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
6 | Werner Damm, Tobe Toben, Bernd Westphal |
On the Expressive Power of Live Sequence Charts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Program Analysis and Compilation ![In: Program Analysis and Compilation, Theory and Practice, Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday, pp. 225-246, 2006, Springer, 978-3-540-71315-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
6 | David Owen 0002, Dejan Desovski, Bojan Cukic |
Random testing of formal software models and induced coverage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Random Testing ![In: Proceedings of the 1st International Workshop on Random Testing, RT 2006, Portland, Maine, USA, July 20, 2006, pp. 20-27, 2006, ACM, 1-59593-457-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
formal methods, random testing, model testing |
6 | Tomas Danikauskas, Rimantas Butleris, Sigitas Drasutis |
Graphical User Interface Development on the Basis of Data Flows Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCIS ![In: Computer and Information Sciences - ISCIS 2005, 20th International Symposium, Istanbul, Turkey, October 26-28, 2005, Proceedings, pp. 904-914, 2005, Springer, 3-540-29414-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
6 | Moonzoo Kim, Mahesh Viswanathan 0001, Sampath Kannan, Insup Lee 0001, Oleg Sokolsky |
Java-MaC: A Run-Time Assurance Approach for Java Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 24(2), pp. 129-155, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
run-time monitoring and checking, execution trace validation, Java bytecode engineering, Java, formal specification, software reliability, program instrumentation |
6 | Mario A. Bochicchio, Nicola Fiore |
WARP: Web Application Rapid Prototyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004, pp. 1670-1676, 2004, ACM, 1-58113-812-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
prototyping web application, conceptual design, HDM |
6 | Hans-Gerhard Groß, Colin Atkinson 0001, Franck Barbier |
Component Integration through Built-in Contract Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Component-Based Software Quality ![In: Component-Based Software Quality - Methods and Techniques, pp. 159-183, 2003, Springer, 3-540-40503-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
6 | 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 |
6 | Sebastián Uchitel, Jeff Kramer, Jeff Magee |
Detecting implied scenarios in message sequence chart specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC / SIGSOFT FSE ![In: Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, Vienna, Austria, September 10-14, 2001, pp. 74-82, 2001, ACM, 978-1-58113-390-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
FSP, implementability, synthesis, labelled transition systems, message sequence charts, LTSA |
6 | Mohamed Bettaz |
Object Based Software Engineering with Hidden Sorted ECATNets and Hidden Labeled Rewriting Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICCSA ![In: 2001 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2001), 26-29 June 2001, Beirut, Lebanon, pp. 386-, 2001, IEEE Computer Society, 0-7695-1165-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
object based software engineering, efficient prototyping, correct (incorrect) refinement, high-level Petri nets, rewriting logic |
6 | Dan Zhou, Joncheng C. Kuo, Susan Older, Shiu-Kai Chin |
Formal Development of Secure Email. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), January 5-8, 1999, Maui, Hawaii, USA, 1999, IEEE Computer Society, 0-7695-0001-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
high-assurance design and synthesis, secure email systems, formal methods, component-based design |
6 | Phil J. Grouse |
FlowGuide: a programmer's work station. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFIPS National Computer Conference ![In: American Federation of Information Processing Societies: 1984 National Computer Conference, 9-12 July 1984, Las Vegas, Nevada, USA, pp. 329-335, 1984, AFIPS Press, 0-88283-043-0. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
6 | Robert R. Hoffman, Kelly Neville, Jennifer Fowlkes |
Using cognitive task analysis to explore issues in the procurement of intelligent decision support systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cogn. Technol. Work. ![In: Cogn. Technol. Work. 11(1), pp. 57-70, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Systems development processes, Procurement, Cognitive task analysis |
6 | Frans Sanen, Eddy Truyen, Wouter Joosen |
Mapping problem-space to solution-space features: a feature interaction approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, 8th International Conference, GPCE 2009, Denver, Colorado, USA, October 4-5, 2009, Proceedings, pp. 167-176, 2009, ACM, 978-1-60558-494-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
DLV, configuration knowledge, distributed runtime adaptation, problem-solution feature interactions, software product line engineering, default logic |
6 | Yegor Bugayenko 0001 |
Method for Software Cost Estimating Using Scope Champions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROFES ![In: Product-Focused Software Process Improvement, 10th International Conference, PROFES 2009, Oulu, Finland, June 15-17, 2009. Proceedings, pp. 59-70, 2009, Springer, 978-3-642-02151-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
requirements analysis, software cost estimating, cost optimization, size estimating |
6 | Lucas Drumond, Rosario Girardi |
A multi-agent legal recommender system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Law ![In: Artif. Intell. Law 16(2), pp. 175-207, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Legal information systems, Ontologies, Semantic Web, Multi-agent systems, Recommender systems, Content-based filtering |
6 | Junwei Du, Zhongwei Xu, Meng Mei |
Verification of Scenario-Based Safety Requirement Specification on Components Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (2) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 2: Software Engineering, December 12-14, 2008, Wuhan, China, pp. 686-689, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
6 | Ashiq Anjum, Peter Bloodsworth, Andrew Branson, Tamas Hauer, Richard McClatchey, Kamran Munir, Dmitri Rogulin, Jetendr Shamdasani |
The Requirements for Ontologies in Medical Data Integration: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAS ![In: Eleventh International Database Engineering and Applications Symposium (IDEAS 2007), September 6-8, 2007, Banff, Alberta, Canada, pp. 308-314, 2007, IEEE Computer Society, 0-7695-2947-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
6 | Najla Raza, Aamer Nadeem, Muhammad Zohaib Z. Iqbal |
An Automated Approach to System Testing Based on Scenarios and Operations Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: Seventh International Conference on Quality Software (QSIC 2007), 11-12 October 2007, Portland, Oregon, USA, pp. 256-261, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
6 | Mirko Morandini, Loris Penserini, Anna Perini, Angelo Susi |
Refining Goal Models by Evaluating System Behaviour. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSE ![In: Agent-Oriented Software Engineering VIII, 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers, pp. 44-57, 2007, Springer, 978-3-540-79487-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
6 | Akadej Udomchaiporn, Nakornthip Prompoon, Pizzanu Kanongchaiyos |
Software Requirements Retrieval Using Use Case Terms and Structure Similarity Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 13th Asia-Pacific Software Engineering Conference (APSEC 2006), 6-8 December 2006, Bangalore, India, pp. 113-120, 2006, IEEE Computer Society, 0-7695-2685-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
6 | Lulu He, Jeffrey C. Carver |
PBR vs. checklist: a replication in the n-fold inspection context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISESE ![In: 2006 International Symposium on Empirical Software Engineering (ISESE 2006), September 21-22, 2006, Rio de Janeiro, Brazil, pp. 95-104, 2006, ACM, 1-59593-218-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
PBR, n-fold inspection, experimentation, human subjects |
6 | Silvia E. Gordillo, Gustavo Rossi, Ana Moreira 0001, João Araújo 0001, Carla Vairetti, Matias Urbieta |
Modeling and Composing Navigational Concerns in Web Applications. Requirements and Design Issues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LA-WEB ![In: Fourth Latin American Web Congress (LA-Web 2006), 25-27 October 2006, Cholula, Puebla, Mexico, pp. 25-31, 2006, IEEE Computer Society, 0-7695-2693-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
6 | Felix S. K. Leung, Narasimha Bolloju |
Analyzing the Quality of Domain Models Developed by Novice Systems Analysts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 38th Hawaii International Conference on System Sciences (HICSS-38 2005), CD-ROM / Abstracts Proceedings, 3-6 January 2005, Big Island, HI, USA, 2005, IEEE Computer Society, 0-7695-2268-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
6 | Joshua J. Pauli, Dianxiang Xu |
Misuse Case-Based Design and Analysis of Secure Software Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITCC (2) ![In: International Symposium on Information Technology: Coding and Computing (ITCC 2005), Volume 2, 4-6 April 2005, Las Vegas, Nevada, USA, pp. 398-403, 2005, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
security, Software architecture, use case, misuse case |
6 | Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Rajesh K. Gupta 0001, Frederic Doucet |
Polychrony for Refinement-Based Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2003 Design, Automation and Test in Europe Conference and Exposition (DATE 2003), 3-7 March 2003, Munich, Germany, pp. 11172-11173, 2003, IEEE Computer Society, 0-7695-1870-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
6 | Mark Last, Menahem Friedman, Abraham Kandel |
The data mining approach to automated software testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the Ninth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Washington, DC, USA, August 24 - 27, 2003, pp. 388-396, 2003, ACM, 1-58113-737-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
finite element solver, info-fuzzy networks, input-output analysis, regression testing, automated software testing |
6 | John Leaney, David Rowe, Tim O'Neill |
Issues in the construction of new measures within the discipline of Open Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 9th Asia-Pacific Software Engineering Conference (APSEC 2002), 4-6 December 2002, Gold Coast, Queensland, Australia, pp. 527-, 2002, IEEE Computer Society, 0-7695-1850-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
6 | Ralph Depke, Reiko Heckel, Jochen Malte Küster |
Improving the agent-oriented modeling process by roles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Agents ![In: Proceedings of the Fifth International Conference on Autonomous Agents, AGENTS 2001, Montreal, Canada, May 28 - June 1, 2001, pp. 640-647, 2001, ACM, 1-58113-326-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
modeling process, software engineering, agents, roles |
Displaying result #601 - #700 of 761 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ >>] |
|