No abstract available.
Cited By
- Jørgensen J, Jönsson K, Nielsen S, Skovgaard C, Vase J, Ghonemi M and Hassan R Requirements Engineering in Implementing IT Support for Scandinavian Healthcare Work Processes Using Outsourced Development in Egypt Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops, (145-148)
- Tueno Fotso S, Frappier M, Laleau R and Mammar A (2019). Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach, International Journal on Software Tools for Technology Transfer (STTT), 22:3, (349-363), Online publication date: 1-Jun-2020.
- Kulynych B, Overdorf R, Troncoso C and Gürses S POTs Proceedings of the 2020 Conference on Fairness, Accountability, and Transparency, (177-188)
- Chituc C, Herrmann M, Schiffner D and Rittberger M Towards the Design and Deployment of an Item Bank: An Analysis of the Requirements Elicited Advances in Web-Based Learning – ICWL 2019, (155-162)
- Losada B, López-Gil J and Urretavizcaya M Improving Agile Software Development Methods by means of User Objectives Proceedings of the XX International Conference on Human Computer Interaction, (1-4)
- Westman J and Nyberg M (2019). Providing tool support for specifying safety-critical systems by enforcing syntactic contract conditions, Requirements Engineering, 24:2, (231-256), Online publication date: 1-Jun-2019.
- Liu Z, Bowen J, Liu B, Tyszberowicz S and Zhang T Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling Engineering Trustworthy Software Systems, (159-219)
- Bjørner D (2019). Domain Analysis and Description Principles, Techniques, and Modelling Languages, ACM Transactions on Software Engineering and Methodology, 28:2, (1-67), Online publication date: 9-Apr-2019.
- Westman J and Nyberg M (2018). Conditions of contracts for separating responsibilities in heterogeneous systems, Formal Methods in System Design, 52:2, (147-192), Online publication date: 1-Apr-2018.
- Bumblauskas D, Gemmill D, Igou A and Anzengruber J (2017). Smart Maintenance Decision Support Systems (SMDSS) based on corporate big data analytics, Expert Systems with Applications: An International Journal, 90:C, (303-317), Online publication date: 30-Dec-2017.
- Ellis-Braithwaite R, Lock R, Dawson R and King T (2017). Repetition between stakeholder (user) and system requirements, Requirements Engineering, 22:2, (167-190), Online publication date: 1-Jun-2017.
- Barlas K, Berki E, Stefaneas P and Koletsos G (2017). Towards formal open standards, Innovations in Systems and Software Engineering, 13:1, (51-66), Online publication date: 1-Mar-2017.
- Bjørner D (2017). Manifest domains: analysis and description, Formal Aspects of Computing, 29:2, (175-225), Online publication date: 1-Mar-2017.
- Ciolek D, Braberman V, DIppolito N, Piterman N and Uchitel S (2017). Interaction Models and Automated Control under Partial Observable Environments, IEEE Transactions on Software Engineering, 43:1, (19-33), Online publication date: 1-Jan-2017.
- Carroll N and Richardson I Aligning healthcare innovation and software requirements through design thinking Proceedings of the International Workshop on Software Engineering in Healthcare Systems, (1-7)
- Jackson D Towards a theory of conceptual design for software 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!), (282-296)
- Kilov H Business Modelling Revised Selected Papers of the International Workshops on Behavior Modeling -- Foundations and Applications - Volume 6368, (3-27)
- Tun T, Lutz R, Nakayama B, Yu Y, Mathur D and Nuseibeh B The role of environmental assumptions in failures of DNA nanosystems Proceedings of the First International Workshop on Complex faUlts and Failures in LargE Software Systems, (27-33)
- Li Z and Chen L System-level testing of cyber-physical systems based on problem concerns Proceedings of the 2014 3rd International Workshop on Evidential Assessment of Software Technologies, (60-62)
- Uchitel S, Alrajeh D, Ben-David S, Braberman V, Chechik M, Caso G, D'ippolito N, Fischbein D, Garbervetsky D, Kramer J, Russo A and Sibay G (2013). Supporting incremental behaviour model elaboration, Computer Science - Research and Development, 28:4, (279-293), Online publication date: 1-Nov-2013.
- Perez De Rosso S and Jackson D What's wrong with git? Proceedings of the 2013 ACM international symposium on New ideas, new paradigms, and reflections on programming & software, (37-52)
- Alshaikh Z and Boughton C Notes on Synthesis of Context between Engineering and Social Science Proceedings of the 8th International and Interdisciplinary Conference on Modeling and Using Context - Volume 8175, (157-170)
- Hubaux A, Tun T and Heymans P (2013). Separation of concerns in feature diagram languages, ACM Computing Surveys, 45:4, (1-23), Online publication date: 1-Aug-2013.
- Tun T, Laney R, Yu Y and Nuseibeh B (2013). Specifying software features for composition, Computer Networks: The International Journal of Computer and Telecommunications Networking, 57:12, (2454-2464), Online publication date: 1-Aug-2013.
- Bouchrika I, Ait-Oubelli L, Rabir A and Harrathi N Mockup-based navigational diagram for the development of interactive web applications Proceedings of the 2013 International Conference on Information Systems and Design of Communication, (27-32)
- D'ippolito N, Braberman V, Piterman N and Uchitel S (2013). Synthesizing nonanomalous event-based controllers for liveness goals, ACM Transactions on Software Engineering and Methodology, 22:1, (1-36), Online publication date: 1-Feb-2013.
- Kumari P and Pretschner A Deriving implementation-level policies for usage control enforcement Proceedings of the second ACM conference on Data and Application Security and Privacy, (83-94)
- Najar S, Kirsch-Pinheiro M and Souveyet C Towards semantic modeling of intentional pervasive information systems Proceedings of the 6th International Workshop on Enhanced Web Service Technologies, (30-34)
- Gandhi R and Lee S (2011). Discovering Multidimensional Correlations among Regulatory Requirements to Understand Risk, ACM Transactions on Software Engineering and Methodology, 20:4, (1-37), Online publication date: 1-Sep-2011.
- Rainer A (2011). The longitudinal, chronological case study research strategy, Information and Software Technology, 53:7, (730-746), Online publication date: 1-Jul-2011.
- Dietsch D, Westphal B and Podelski A System verification through program verification Proceedings of the 17th international conference on Formal methods, (27-41)
- Zhang W, Zhao H, Jin Z and Mei H Towards a more fundamental explanation of constraints in feature models Proceedings of the 12th international conference on Top productivity through software reuse, (36-51)
- Ramesh S and Gadkari A Rigorous model-based design & verification flow for in-vehicle software Proceedings of the 48th Design Automation Conference, (13-16)
- Jackson M A tolerant approach to faults Dependable and Historic Computing, (273-282)
- D'Ippolito N, Braberman V, Piterman N and Uchitel S Synthesis of live behaviour models Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering, (77-86)
- Erra U, Portnova A and Scanniello G Comparing two communication media in use case modeling Proceedings of the 2010 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement, (1-4)
- Ricca F, Scanniello G, Torchiano M, Reggio G and Astesiano E On the effectiveness of screen mockups in requirements engineering Proceedings of the 2010 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement, (1-10)
- Rolland C Fitting System Functionality to Business Needs Proceedings of the 2010 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the 9th SoMeT_10, (137-147)
- Cristiá M and Plüss B Generating natural language descriptions of Z test cases Proceedings of the 6th International Natural Language Generation Conference, (173-177)
- Zickert F and Beck R Assessing project effort in requirements engineering Proceedings of the 5th international conference on Global Perspectives on Design Science Research, (490-505)
- Bjørner D and Eir A Compositionality Concurrency, Compositionality, and Correctness, (22-59)
- Claudepierre B and Nurcan S ITGIM Proceedings of the ER 2009 Workshops (CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS) on Advances in Conceptual Modeling - Challenging Perspectives, (275-285)
- Rayside D, Milicevic A, Yessenov K, Dennis G and Jackson D Agile specifications Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications, (999-1006)
- Sandén B (2009). Inspired software design early jackson methods to thread architectures, ACM SIGSOFT Software Engineering Notes, 34:4, (1-6), Online publication date: 6-Jul-2009.
- Valckenaers P, Germain B, Verstraete P, Van Belle J, Hadeli and Van Brussel H (2009). Intelligent products, Computers in Industry, 60:3, (217-228), Online publication date: 1-Apr-2009.
- Johansson B and de Carvalho R Management of requirements in ERP development Proceedings of the 2009 ACM symposium on Applied Computing, (1605-1609)
- Woodcock J The miracle of reactive programming Proceedings of the 2nd international conference on Unifying theories of programming, (202-217)
- Li Z Progressing problems from requirements to specifications in problem frames Proceedings of the 3rd international workshop on Applications and advances of problem frames, (53-59)
- Tun T, Hall J, Rapanotti L, Cox K and Jin Z 3rd international workshop on advances and applications of problem frames Companion of the 30th international conference on Software engineering, (1029-1030)
- Bastani B (2008). Process-oriented abstraction of the complex evolvable systems, ACM SIGSOFT Software Engineering Notes, 33:3, (1-13), Online publication date: 1-May-2008.
- Hayashi S (2007). Can Proofs be Animated by Games?, Fundamenta Informaticae, 77:4, (331-343), Online publication date: 1-Dec-2007.
- Ahmed F, Durrani Q and Khurshid S Exploring traceability-based requirements inspection Proceedings of the 11th IASTED International Conference on Software Engineering and Applications, (136-142)
- Zapata C, González G and Gelbukh A A rule-based system for assessing consistency between UML models Proceedings of the artificial intelligence 6th Mexican international conference on Advances in artificial intelligence, (215-224)
- Li X and Parsons J Ontological semantics for the use of UML in conceptual modeling Tutorials, posters, panels and industrial contributions at the 26th international conference on Conceptual modeling - Volume 83, (179-184)
- Hayashi S (2007). Can Proofs be Animated by Games?, Fundamenta Informaticae, 77:4, (331-343), Online publication date: 1-Aug-2007.
- Bojduj B and Turner C Hierarchical visualization for chance discovery Proceedings of the 20th international conference on Industrial, engineering, and other applications of applied intelligent systems, (786-795)
- Rolland C, Kaabi R and Kraiem N On ISOA Proceedings of the 19th international conference on Advanced information systems engineering, (158-172)
- Furia C, Rossi M and Mandrioli D Modeling the Environment in Software-Intensive Systems Proceedings of the International Workshop on Modeling in Software Engineering
- Morris S and Gotel O Model or Mould? A Challenge for Better Traceability Proceedings of the International Workshop on Modeling in Software Engineering
- Vickers A (2007). Satisfying Business Problems, IEEE Software, 24:3, (18-20), Online publication date: 1-May-2007.
- Klashner R and Sabet S (2007). A DSS Design Model for complex problems, Decision Support Systems, 43:3, (990-1013), Online publication date: 1-Apr-2007.
- Bastani B (2007). A requirements analysis framework for open systems requirements engineering, ACM SIGSOFT Software Engineering Notes, 32:2, (1-19), Online publication date: 1-Mar-2007.
- Gotel O, Kulkarni V, Neak L, Scharff C and Seng S Introducing global supply chains into software engineering education Proceedings of the 1st international conference on Software engineering approaches for offshore and outsourced development, (44-58)
- Fischbein D, Uchitel S and Braberman V A foundation for behavioural conformance in software product line architectures Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis, (39-48)
- Dourdas N, Zhu X, Maiden N, Jones S and Zachos K Discovering remote software services that satisfy requirements Proceedings of the 18th international conference on Advanced Information Systems Engineering, (239-254)
- Hall J, Rapanotti L, Cox K and Jin Z 2nd international workshop on advances and applications of problem frames Proceedings of the 28th international conference on Software engineering, (1030-1031)
- Duboc L, Rosenblum D and Wicks T A framework for modelling and analysis of software systems scalability Proceedings of the 28th international conference on Software engineering, (949-952)
- Seater R and Jackson D Problem frame transformations Proceedings of the 2006 international workshop on Advances and applications of problem frames, (71-80)
- Jørgensen J Addressing problem frame concerns via coloured petri nets and graphical animation Proceedings of the 2006 international workshop on Advances and applications of problem frames, (49-58)
- Jin Z and Liu L Towards automatic problem decomposition Proceedings of the 2006 international workshop on Advances and applications of problem frames, (41-48)
- Brier J, Rapanotti L and Hall J Problem-based analysis of organisational change Proceedings of the 2006 international workshop on Advances and applications of problem frames, (13-18)
- Banagala V Analysis of transaction problems using the problem frames approach Proceedings of the 2006 international workshop on Advances and applications of problem frames, (5-12)
- Bleistein S, Cox K and Verner J (2006). Validating strategic alignment of organizational IT requirements using goal modeling and problem diagrams, Journal of Systems and Software, 79:3, (362-378), Online publication date: 1-Mar-2006.
- Bontemps Y, Heymans P and Schobbens P (2005). From Live Sequence Charts to State Machines and Back, IEEE Transactions on Software Engineering, 31:12, (999-1014), Online publication date: 1-Dec-2005.
- Valckenaers P and Van Brussel H Fundamental insights into holonic systems design Proceedings of the Second international conference on Holonic and Multi-Agent Systems for Manufacturing, (11-22)
- Letier E, Kramer J, Magee J and Uchitel S Monitoring and control in scenario-based requirements analysis Proceedings of the 27th international conference on Software engineering, (382-391)
- Tamai T A pedagogical view on software modeling and graph-structured diagrams Proceedings of the 2005 international conference on Software Engineering Education in the Modern Age, (59-70)
- Biely M, Le Lann G and Schmid U Proof-based system engineering using a virtual system model Proceedings of the Second international conference on Service Availability, (164-179)
- Bleistein S, Cox K and Verner J Strategic alignment in requirements analysis for organizational IT Proceedings of the 2005 ACM symposium on Applied computing, (1300-1307)
- Maiden N, Robertson S and Ebert C (2005). Guest Editors' Introduction, IEEE Software, 22:1, (13-15), Online publication date: 1-Jan-2005.
- Seffah A and Metzker E (2004). The obstacles and myths of usability and software engineering, Communications of the ACM, 47:12, (71-76), Online publication date: 1-Dec-2004.
- Cox K, Hall J and Rapanotti L (2004). 1st international workshop on advances and applications of problem frames - summary, ACM SIGSOFT Software Engineering Notes, 29:5, (1-3), Online publication date: 1-Sep-2004.
- Ourusoff N (2004). Reinvigorating the software engineering curriculum with Jackson's methods and ideas, ACM SIGCSE Bulletin, 36:2, (93-96), Online publication date: 1-Jun-2004.
- Cox K, Hall J and Rapanotti L 1st International Workshop on Advances and Applications of Problem Frames Proceedings of the 26th International Conference on Software Engineering, (754-755)
- Lieberherr K Controlling the Complexity of Software Designs Proceedings of the 26th International Conference on Software Engineering, (2-11)
- Andrade J, Ares J, García R, Pazos J, Rodríguez S and Silva A (2004). A Methodological Framework for Viewpoint-Oriented Conceptual Modeling, IEEE Transactions on Software Engineering, 30:5, (282-294), Online publication date: 1-May-2004.
- Glinz M (2003). Desert Island Column, Automated Software Engineering, 10:4, (399-402), Online publication date: 1-Oct-2003.
- Denno P, Steves M, Libes D and Barkmeyer E (2003). Model-Driven Integration Using Existing Models, IEEE Software, 20:5, (59-63), Online publication date: 1-Sep-2003.
- Salinesi C and Rolland C Fitting business models to system functionality exploring the fitness relationship Proceedings of the 15th international conference on Advanced information systems engineering, (647-664)
- Mikkonen T Experiences on developing and using a tool support for formal specification Proceedings of the 8th Ada-Europe international conference on Reliable software technologies, (297-308)
- Robinson W, Pawlowski S and Volkov V (2003). Requirements interaction management, ACM Computing Surveys, 35:2, (132-190), Online publication date: 1-Jun-2003.
- van Lamsweerde A Goal-oriented requirements engineering Proceedings of the 25th International Conference on Software Engineering, (744-745)
- Bjørner D "What is a method?" Programming methodology, (175-203)
- Stierna E and Rowe N (2003). Applying information-retrieval methods to software reuse, Information Processing and Management: an International Journal, 39:1, (67-74), Online publication date: 1-Jan-2003.
- Letier E and van Lamsweerde A Deriving operational software specifications from system goals Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering, (119-128)
- Letier E and van Lamsweerde A (2002). Deriving operational software specifications from system goals, ACM SIGSOFT Software Engineering Notes, 27:6, (119-128), Online publication date: 1-Nov-2002.
- Offen R (2002). Desert Island Reading, Automated Software Engineering, 9:4, (405-409), Online publication date: 1-Oct-2002.
- Astesiano E and Reggio G Knowledge structuring and representation in requirement specification Proceedings of the 14th international conference on Software engineering and knowledge engineering, (143-150)
- Letier E and van Lamsweerde A Agent-based tactics for goal-oriented requirements elaboration Proceedings of the 24th International Conference on Software Engineering, (83-93)
- Kazman R and Bass L (2002). Making Architecture Reviews Work in the Real World, IEEE Software, 19:1, (67-73), Online publication date: 1-Jan-2002.
- Knethen A A trace model for system requirements changes on embedded systems Proceedings of the 4th International Workshop on Principles of Software Evolution, (17-26)
- Jackson D, Shlyakhter I and Sridharan M A micromodularity mechanism Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering, (62-73)
- Jackson D, Shlyakhter I and Sridharan M (2001). A micromodularity mechanism, ACM SIGSOFT Software Engineering Notes, 26:5, (62-73), Online publication date: 1-Sep-2001.
- Pretschner A, Lötzbeyer H and Philipps J Model Based Testing in Evolutionary Software Development Proceedings of the 12th International Workshop on Rapid System Prototyping
- Glinz M Problems and Deficiencies of UML as a Requirements Specification Language Proceedings of the 10th International Workshop on Software Specification and Design
- Wieringa R The Declarative Problem Frame Proceedings of the 10th International Workshop on Software Specification and Design
- Berry D and Kamsties E The Dangerous 'All' in Specifications Proceedings of the 10th International Workshop on Software Specification and Design
- Raz O and Shaw M An Approach to Preserving Sufficient Correctness in Open Resource Coalitions Proceedings of the 10th International Workshop on Software Specification and Design
- van Lamsweerde A and Letier E (2000). Handling Obstacles in Goal-Oriented Requirements Engineering, IEEE Transactions on Software Engineering, 26:10, (978-1005), Online publication date: 1-Oct-2000.
- Kuusela J and Savolainen J Requirements engineering for product families Proceedings of the 22nd international conference on Software engineering, (61-69)
- van Lamsweerde A Requirements engineering in the year 00 Proceedings of the 22nd international conference on Software engineering, (5-19)
- Jackson D and Rinard M Software analysis: a roadmap Proceedings of the Conference on The Future of Software Engineering, (133-145)
- Nuseibeh B and Easterbrook S Requirements engineering Proceedings of the Conference on The Future of Software Engineering, (35-46)
- Nuseibeh B, Easterbrook S and Russo A (2000). Leveraging Inconsistency in Software Development, Computer, 33:4, (24-29), Online publication date: 1-Apr-2000.
- Paige R and Ostroff J A comparison of the business object notation and the unified modeling language Proceedings of the 2nd international conference on The unified modeling language: beyond the standard, (67-82)
- Mitchell R Analysis by Contract or UML with Attitude Proceedings of the Technology of Object-Oriented Languages and Systems
- Alderson A (1999). False Requirements Express Real Needs, Requirements Engineering, 4:1, (60-61), Online publication date: 1-May-1999.
- Bjørner D and Cuéllar J (1999). Software engineering education, Annals of Software Engineering, 6:1-4, (365-409), Online publication date: 1-Apr-1999.
- Tremblay G Exercises for teaching logic in a formal methods course The proceedings of the thirtieth SIGCSE technical symposium on Computer science education, (100-104)
- Britton C and Jones S (2018). The untrained eye, Human-Computer Interaction, 14:1, (191-244), Online publication date: 1-Mar-1999.
- Tremblay G (1999). Exercises for teaching logic in a formal methods course, ACM SIGCSE Bulletin, 31:1, (100-104), Online publication date: 1-Mar-1999.
- van Lamsweerde A and Willemet L (1998). Inferring Declarative Requirements Specifications from Operational Scenarios, IEEE Transactions on Software Engineering, 24:12, (1089-1114), Online publication date: 1-Dec-1998.
- Sutcliffe A, Maiden N, Minocha S and Manuel D (1998). Supporting Scenario-Based Requirements Engineering, IEEE Transactions on Software Engineering, 24:12, (1072-1088), Online publication date: 1-Dec-1998.
- Haumer P, Pohl K and Weidenhaupt K (1998). Requirements Elicitation and Validation with Real World Scenes, IEEE Transactions on Software Engineering, 24:12, (1036-1054), Online publication date: 1-Dec-1998.
- Hall A What Does Industry Need From Formal Specification Techniques? Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
- Maiden N (1998). CREWS-SAVRE, Automated Software Engineering, 5:4, (419-446), Online publication date: 1-Oct-1998.
- Dubois E, Petit M and Yu E From Early to Late Formal Requirements Proceedings of the 9th international workshop on Software specification and design
- Leite J and Leonardi M Business Rules as Organizational Policies Proceedings of the 9th international workshop on Software specification and design
- Wieringa R Traceability and Modularity in Software Design Proceedings of the 9th international workshop on Software specification and design
- Antón A and Potts C The use of goals to surface requirements for evolving systems Proceedings of the 20th international conference on Software engineering, (157-166)
- Tremblay G (1998). An undergraduate course in formal methods, ACM SIGCSE Bulletin, 30:1, (166-170), Online publication date: 1-Mar-1998.
- Tremblay G An undergraduate course in formal methods Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education, (166-170)
- Paige R (1998). Heterogeneous Notations for Pure Formal Method Integration, Formal Aspects of Computing, 10:3, (233-242), Online publication date: 1-Mar-1998.
- Sutcliffe A (1998). Scenario-based requirements analysis, Requirements Engineering, 3:1, (48-65), Online publication date: 1-Mar-1998.
- Neil M, Ostrolenk G, Tobin M and Southworth M (1998). Lessons from Using Z to Specify a Software Tool, IEEE Transactions on Software Engineering, 24:1, (15-23), Online publication date: 1-Jan-1998.
- Bjoner D, Koussoube S, Noussi R and Satchok G Michael Jackson's problem frames Proceedings of the 1st International Conference on Formal Engineering Methods
- Silva A, Gonçalves T, Rosa F, Berre A and Aagedal J Organization, Information System and Distribution Modeling Proceedings of the 1st International Conference on Enterprise Distributed Object Computing
- Shaw M and Clements P A Field Guide to Boxology Proceedings of the 21st International Computer Software and Applications Conference, (6-13)
- Bézivin J General Software Process Organization in the OSMOSIS Project Proceedings of the Workshops on Object-Oriented Technology, (311-314)
- Zave P and Jackson M (1997). Telecommunications service requirements: Principles for managing complexity, Requirements Engineering, 2:2, (92-101), Online publication date: 1-Jun-1997.
- Hussak W and Keane J (1996). Expressing requirements on a parallel system formally, Requirements Engineering, 1:4, (199-209), Online publication date: 1-Dec-1996.
- Jackson M Connecting viewpoints by shared phenomena Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops, (180-183)
- DeLine R Toward user-defined element types and architectural styles Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops, (47-49)
- Sutcliffe A (1996). A conceptual framework for requirements engineering, Requirements Engineering, 1:3, (170-189), Online publication date: 1-Sep-1996.
- Maiden N and Sutcliffe A A computational mechanism for parallel problem decomposition during requirements engineering Proceedings of the 8th International Workshop on Software Specification and Design
- Tamai T How Modeling Methods Affect the Process of Architectural Design Decisions Proceedings of the 8th International Workshop on Software Specification and Design
Index Terms
- Software requirements & specifications: a lexicon of practice, principles and prejudices
Recommendations
Semantic analysis of functional and non-functional requirements in software requirements specifications
Canadian AI'12: Proceedings of the 25th Canadian conference on Advances in Artificial IntelligenceSoftware Requirements Specifications (SRS) documents are important artifacts in the software industry. A SRS contains all the requirements specifications for a software system, either as functional requirements (FR) or non-functional requirements (NFR). ...
Deriving Formal Specifications from Informal Requirements
COMPSAC '07: Proceedings of the 31st Annual International Computer Software and Applications Conference - Volume 01Ensuring dependability of software requires the use of formal methods. However, formal methods are still not widely accepted in engineering practice. One of the reasons for this is difficulty of deriving formal specifications from large and complex ...
Software requirements and specifications: A survey of needs and languages
This paper surveys techniques for the expression of software requirements and specifications. A distinction is developed between requirements and two types of specifications. Summaries are provided of existing languages. Although the concepts surveyed ...