Nothing Special   »   [go: up one dir, main page]

skip to main content
Skip header Section
Software requirements & specifications: a lexicon of practice, principles and prejudicesSeptember 1995
Publisher:
  • ACM Press/Addison-Wesley Publishing Co.
  • 1515 Broadway, 17th Floor New York, NY
  • United States
ISBN:978-0-201-87712-0
Published:01 September 1995
Pages:
264
Skip Bibliometrics Section
Reflects downloads up to 26 Sep 2024Bibliometrics
Abstract

No abstract available.

Cited By

  1. ACM
    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)
  2. 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.
  3. ACM
    Kulynych B, Overdorf R, Troncoso C and Gürses S POTs Proceedings of the 2020 Conference on Fairness, Accountability, and Transparency, (177-188)
  4. 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)
  5. ACM
    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)
  6. 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.
  7. 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)
  8. ACM
    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.
  9. 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.
  10. 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.
  11. 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.
  12. 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.
  13. Bjørner D (2017). Manifest domains: analysis and description, Formal Aspects of Computing, 29:2, (175-225), Online publication date: 1-Mar-2017.
  14. 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.
  15. ACM
    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)
  16. ACM
    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)
  17. Kilov H Business Modelling Revised Selected Papers of the International Workshops on Behavior Modeling -- Foundations and Applications - Volume 6368, (3-27)
  18. 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)
  19. ACM
    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)
  20. 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.
  21. ACM
    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)
  22. 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)
  23. ACM
    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.
  24. 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.
  25. ACM
    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)
  26. ACM
    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.
  27. ACM
    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)
  28. ACM
    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)
  29. ACM
    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.
  30. Rainer A (2011). The longitudinal, chronological case study research strategy, Information and Software Technology, 53:7, (730-746), Online publication date: 1-Jul-2011.
  31. Dietsch D, Westphal B and Podelski A System verification through program verification Proceedings of the 17th international conference on Formal methods, (27-41)
  32. 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)
  33. ACM
    Ramesh S and Gadkari A Rigorous model-based design & verification flow for in-vehicle software Proceedings of the 48th Design Automation Conference, (13-16)
  34. Jackson M A tolerant approach to faults Dependable and Historic Computing, (273-282)
  35. ACM
    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)
  36. ACM
    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)
  37. ACM
    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)
  38. 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)
  39. 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)
  40. 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)
  41. Bjørner D and Eir A Compositionality Concurrency, Compositionality, and Correctness, (22-59)
  42. 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)
  43. ACM
    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)
  44. ACM
    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.
  45. 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.
  46. ACM
    Johansson B and de Carvalho R Management of requirements in ERP development Proceedings of the 2009 ACM symposium on Applied Computing, (1605-1609)
  47. Woodcock J The miracle of reactive programming Proceedings of the 2nd international conference on Unifying theories of programming, (202-217)
  48. ACM
    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)
  49. ACM
    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)
  50. ACM
    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.
  51. Hayashi S (2007). Can Proofs be Animated by Games?, Fundamenta Informaticae, 77:4, (331-343), Online publication date: 1-Dec-2007.
  52. 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)
  53. 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)
  54. 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)
  55. Hayashi S (2007). Can Proofs be Animated by Games?, Fundamenta Informaticae, 77:4, (331-343), Online publication date: 1-Aug-2007.
  56. 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)
  57. Rolland C, Kaabi R and Kraiem N On ISOA Proceedings of the 19th international conference on Advanced information systems engineering, (158-172)
  58. Furia C, Rossi M and Mandrioli D Modeling the Environment in Software-Intensive Systems Proceedings of the International Workshop on Modeling in Software Engineering
  59. Morris S and Gotel O Model or Mould? A Challenge for Better Traceability Proceedings of the International Workshop on Modeling in Software Engineering
  60. Vickers A (2007). Satisfying Business Problems, IEEE Software, 24:3, (18-20), Online publication date: 1-May-2007.
  61. 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.
  62. ACM
    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.
  63. 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)
  64. ACM
    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)
  65. 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)
  66. ACM
    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)
  67. ACM
    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)
  68. ACM
    Seater R and Jackson D Problem frame transformations Proceedings of the 2006 international workshop on Advances and applications of problem frames, (71-80)
  69. ACM
    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)
  70. ACM
    Jin Z and Liu L Towards automatic problem decomposition Proceedings of the 2006 international workshop on Advances and applications of problem frames, (41-48)
  71. ACM
    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)
  72. ACM
    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)
  73. 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.
  74. 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.
  75. 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)
  76. ACM
    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)
  77. 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)
  78. 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)
  79. ACM
    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)
  80. Maiden N, Robertson S and Ebert C (2005). Guest Editors' Introduction, IEEE Software, 22:1, (13-15), Online publication date: 1-Jan-2005.
  81. ACM
    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.
  82. ACM
    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.
  83. ACM
    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.
  84. 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)
  85. Lieberherr K Controlling the Complexity of Software Designs Proceedings of the 26th International Conference on Software Engineering, (2-11)
  86. 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.
  87. Glinz M (2003). Desert Island Column, Automated Software Engineering, 10:4, (399-402), Online publication date: 1-Oct-2003.
  88. 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.
  89. 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)
  90. 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)
  91. ACM
    Robinson W, Pawlowski S and Volkov V (2003). Requirements interaction management, ACM Computing Surveys, 35:2, (132-190), Online publication date: 1-Jun-2003.
  92. van Lamsweerde A Goal-oriented requirements engineering Proceedings of the 25th International Conference on Software Engineering, (744-745)
  93. Bjørner D "What is a method?" Programming methodology, (175-203)
  94. 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.
  95. ACM
    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)
  96. ACM
    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.
  97. Offen R (2002). Desert Island Reading, Automated Software Engineering, 9:4, (405-409), Online publication date: 1-Oct-2002.
  98. ACM
    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)
  99. ACM
    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)
  100. 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.
  101. ACM
    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)
  102. ACM
    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)
  103. ACM
    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.
  104. 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
  105. Glinz M Problems and Deficiencies of UML as a Requirements Specification Language Proceedings of the 10th International Workshop on Software Specification and Design
  106. Wieringa R The Declarative Problem Frame Proceedings of the 10th International Workshop on Software Specification and Design
  107. Berry D and Kamsties E The Dangerous 'All' in Specifications Proceedings of the 10th International Workshop on Software Specification and Design
  108. 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
  109. 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.
  110. ACM
    Kuusela J and Savolainen J Requirements engineering for product families Proceedings of the 22nd international conference on Software engineering, (61-69)
  111. ACM
    van Lamsweerde A Requirements engineering in the year 00 Proceedings of the 22nd international conference on Software engineering, (5-19)
  112. ACM
    Jackson D and Rinard M Software analysis: a roadmap Proceedings of the Conference on The Future of Software Engineering, (133-145)
  113. ACM
    Nuseibeh B and Easterbrook S Requirements engineering Proceedings of the Conference on The Future of Software Engineering, (35-46)
  114. Nuseibeh B, Easterbrook S and Russo A (2000). Leveraging Inconsistency in Software Development, Computer, 33:4, (24-29), Online publication date: 1-Apr-2000.
  115. 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)
  116. Mitchell R Analysis by Contract or UML with Attitude Proceedings of the Technology of Object-Oriented Languages and Systems
  117. Alderson A (1999). False Requirements Express Real Needs, Requirements Engineering, 4:1, (60-61), Online publication date: 1-May-1999.
  118. 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.
  119. ACM
    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)
  120. Britton C and Jones S (2018). The untrained eye, Human-Computer Interaction, 14:1, (191-244), Online publication date: 1-Mar-1999.
  121. ACM
    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.
  122. 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.
  123. 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.
  124. 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.
  125. Hall A What Does Industry Need From Formal Specification Techniques? Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
  126. Maiden N (1998). CREWS-SAVRE, Automated Software Engineering, 5:4, (419-446), Online publication date: 1-Oct-1998.
  127. Dubois E, Petit M and Yu E From Early to Late Formal Requirements Proceedings of the 9th international workshop on Software specification and design
  128. Leite J and Leonardi M Business Rules as Organizational Policies Proceedings of the 9th international workshop on Software specification and design
  129. Wieringa R Traceability and Modularity in Software Design Proceedings of the 9th international workshop on Software specification and design
  130. 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)
  131. ACM
    Tremblay G (1998). An undergraduate course in formal methods, ACM SIGCSE Bulletin, 30:1, (166-170), Online publication date: 1-Mar-1998.
  132. ACM
    Tremblay G An undergraduate course in formal methods Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education, (166-170)
  133. Paige R (1998). Heterogeneous Notations for Pure Formal Method Integration, Formal Aspects of Computing, 10:3, (233-242), Online publication date: 1-Mar-1998.
  134. Sutcliffe A (1998). Scenario-based requirements analysis, Requirements Engineering, 3:1, (48-65), Online publication date: 1-Mar-1998.
  135. 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.
  136. Bjoner D, Koussoube S, Noussi R and Satchok G Michael Jackson's problem frames Proceedings of the 1st International Conference on Formal Engineering Methods
  137. 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
  138. Shaw M and Clements P A Field Guide to Boxology Proceedings of the 21st International Computer Software and Applications Conference, (6-13)
  139. Bézivin J General Software Process Organization in the OSMOSIS Project Proceedings of the Workshops on Object-Oriented Technology, (311-314)
  140. 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.
  141. 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.
  142. ACM
    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)
  143. ACM
    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)
  144. Sutcliffe A (1996). A conceptual framework for requirements engineering, Requirements Engineering, 1:3, (170-189), Online publication date: 1-Sep-1996.
  145. 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
  146. Tamai T How Modeling Methods Affect the Process of Architectural Design Decisions Proceedings of the 8th International Workshop on Software Specification and Design
Contributors
  • The Open University

Index Terms

  1. Software requirements & specifications: a lexicon of practice, principles and prejudices

      Reviews

      Noah S. Prywes

      Jackson has enormous experience in consulting and in training programmers and software designers. He is the father of the Jackson Structured Programming and Jackson Structured Design methods, which are better known in Europe than in the United States. This book is a collection of “wise man” short entries ordered alphabetically; Jackson calls them “a lexicon.” They include a wide range of comments on software, from general sociological impact to detailed implementation techniques, with material on the use of formal methods and different programming paradigms scattered throughout. Although Jackson provides guidelines for perusing the book, it is probably equally good to browse through it randomly. It contains a selected bibliography and index. This book is eminently readable. There is an underlying sense of humor to it that, while it may appeal to some more than others, makes the book fun to read.

      Access critical reviews of Computing literature here

      Become a reviewer for Computing Reviews.

      Please enable JavaScript to view thecomments powered by Disqus.

      Recommendations