No abstract available.
Cited By
- Jones C and Burns A (2024). Extending rely-guarantee thinking to handle real-time scheduling, Formal Methods in System Design, 62:1-3, (119-140), Online publication date: 1-Jun-2024.
- Cao N and Štěpnička M (2022). On solvability of systems of partial fuzzy relational equations, Fuzzy Sets and Systems, 450:C, (87-117), Online publication date: 5-Dec-2022.
- Aichernig B and Burghard C Giving a Model-Based Testing Language a Formal Semantics via Partial MAX-SAT Testing Software and Systems, (35-51)
- Nagoya F A Case Study on Combining Agile Requirements Development and SOFL Structured Object-Oriented Formal Language and Method, (23-33)
- Haigh T (2019). Assembling a prehistory for formal methods: a personal view, Formal Aspects of Computing, 31:6, (663-674), Online publication date: 1-Dec-2019.
- Konnov I, Kukovec J and Tran T (2019). TLA+ model checking made symbolic, Proceedings of the ACM on Programming Languages, 3:OOPSLA, (1-30), Online publication date: 10-Oct-2019.
- Smith G and Duke D Specification with Class: A Brief History of Object-Z Formal Methods. FM 2019 International Workshops, (73-86)
- Štěpnička M, Cao N, Běhounek L, Burda M and Dolný A (2019). Missing values and dragonfly operations in fuzzy relational compositions, International Journal of Approximate Reasoning, 113:C, (149-170), Online publication date: 1-Oct-2019.
- Bao Y, Leavens G and Ernst G (2018). Unifying separation logic and region logic to allow interoperability, Formal Aspects of Computing, 30:3-4, (381-441), Online publication date: 1-Aug-2018.
- Wu D and Schnieder E (2018). Scenario-based system design with colored Petri nets, Software and Systems Modeling (SoSyM), 17:1, (295-317), Online publication date: 1-Feb-2018.
- Hudon S, Hoang T and Ostroff J (2016). The Unit-B method, Software and Systems Modeling (SoSyM), 15:4, (1091-1116), Online publication date: 1-Oct-2016.
- Nagoya F and Liu S Development of a web-based conference management system using SOFL Proceedings of the 2015 Conference on research in adaptive and convergent systems, (337-342)
- Niemann P, Hilken F, Gogolla M and Wille R Extracting frame conditions from operation contracts Proceedings of the 18th International Conference on Model Driven Engineering Languages and Systems, (266-275)
- Bhatia R and Singh M Formal Specification of a Privacy Aware Access Control Framework in Web Services Paradigm using Z Notation Proceedings of the 2014 International Conference on Information and Communication Technology for Competitive Strategies, (1-5)
- Woodcock J Engineering UToPiA Proceedings of the 19th International Symposium on FM 2014: Formal Methods - Volume 8442, (22-41)
- Gore R, Diallo S and Padilla J (2014). ConceVE, ACM Transactions on Modeling and Computer Simulation, 24:2, (1-17), Online publication date: 1-Feb-2014.
- Gore R and Diallo S The need for usable formal methods in verification and validation Proceedings of the 2013 Winter Simulation Conference: Simulation: Making Decisions in a Complex World, (1257-1268)
- Fisher M, Dennis L and Webster M (2013). Verifying autonomous systems, Communications of the ACM, 56:9, (84-93), Online publication date: 1-Sep-2013.
- Foster S and Woodcock J Unifying Theories of Programming in Isabelle Unifying Theories of Programming and Formal Engineering Methods, (109-155)
- Blanc R, Kuncak V, Kneuss E and Suter P An overview of the Leon verification system Proceedings of the 4th Workshop on Scala, (1-10)
- David A, Larsen K, Legay A, MØller M, Nyman U, Ravn A, Skou A and Wąsowski A (2012). Compositional verification of real-time systems using Ecdar, International Journal on Software Tools for Technology Transfer (STTT), 14:6, (703-720), Online publication date: 1-Nov-2012.
- Kaur A, Gulati S and Singh S A comparative study of two formal specification languages Proceedings of the Second International Conference on Computational Science, Engineering and Information Technology, (524-531)
- Méry D and Singh N Critical systems development methodology using formal techniques Proceedings of the 3rd Symposium on Information and Communication Technology, (3-12)
- Kulczycki G, Smith H, Harton H, Sitaraman M, Ogden W and Hollingsworth J The location linking concept Proceedings of the 4th international conference on Verified Software: theories, tools, experiments, (34-49)
- Dietsch D, Westphal B and Podelski A System verification through program verification Proceedings of the 17th international conference on Formal methods, (27-41)
- Turner R (2011). Specification, Minds and Machines, 21:2, (135-152), Online publication date: 1-May-2011.
- Bierman G, Gordon A, Hriţcu C and Langworthy D (2010). Semantic subtyping with an SMT solver, ACM SIGPLAN Notices, 45:9, (105-116), Online publication date: 27-Sep-2010.
- Bierman G, Gordon A, Hriţcu C and Langworthy D Semantic subtyping with an SMT solver Proceedings of the 15th ACM SIGPLAN international conference on Functional programming, (105-116)
- Hayes I, Dunne S and Meinicke L Unifying theories of programming that distinguish nontermination and abort Proceedings of the 10th international conference on Mathematics of program construction, (178-194)
- Darvas Á and Müller P Proving consistency and completeness of model classes using theory interpretation Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering, (218-232)
- Nami M, Sheikh-Abbasi B and Khoshandam M (2009). A comparative introduction to CSP and ACT-ONE formal languages, ACM SIGSOFT Software Engineering Notes, 34:6, (1-5), Online publication date: 3-Dec-2009.
- Morgan C (2009). How to Brew-up a Refinement Ordering, Electronic Notes in Theoretical Computer Science (ENTCS), 259, (123-141), Online publication date: 1-Dec-2009.
- Nishimura S Refining exceptions in four-valued logic Proceedings of the 19th international conference on Logic-Based Program Synthesis and Transformation, (113-127)
- Nami M, Razavi H, Saeedi M and Shahidi N (2009). Investigating a new formal model for a library system using B method, ACM SIGSOFT Software Engineering Notes, 34:4, (1-4), Online publication date: 6-Jul-2009.
- Nami M and Hassani F (2009). A comparative evaluation of the Z, CSP, RSL, and VDM languages, ACM SIGSOFT Software Engineering Notes, 34:3, (1-4), Online publication date: 30-May-2009.
- Aichernig B and Jifeng H (2009). Mutation testing in UTP, Formal Aspects of Computing, 21:1-2, (33-64), Online publication date: 1-Feb-2009.
- Hinchey M (2008). Desert Island Column, Automated Software Engineering, 15:3-4, (393-402), Online publication date: 1-Dec-2008.
- Avron A and Konikowska B (2008). Rough Sets and 3-Valued Logics, Studia Logica, 90:1, (69-92), Online publication date: 1-Oct-2008.
- Darvas Á, Mehta F and Rudich A Efficient Well-Definedness Checking Proceedings of the 4th international joint conference on Automated Reasoning, (100-115)
- Barbosa L, Oliveira J and Silva A Calculating Invariants as Coreflexive Bisimulations Proceedings of the 12th international conference on Algebraic Methodology and Software Technology, (83-99)
- Frias M, Lopez Pombo C, Galeotti J and Aguirre N (2007). Efficient Analysis of DynAlloy Specifications, ACM Transactions on Software Engineering and Methodology, 17:1, (1-34), Online publication date: 1-Dec-2007.
- Jifeng H Linking semantic models Proceedings of the 4th international conference on Theoretical aspects of computing, (18-33)
- Spinellis D and Louridas P (2007). A framework for the static verification of api calls, Journal of Systems and Software, 80:7, (1156-1168), Online publication date: 1-Jul-2007.
- Feng X, Shao Z, Vaynberg A, Xiang S and Ni Z Modular verification of assembly code with stack-based control abstractions Proceedings of the 27th ACM SIGPLAN Conference on Programming Language Design and Implementation, (401-414)
- Feng X, Shao Z, Vaynberg A, Xiang S and Ni Z (2006). Modular verification of assembly code with stack-based control abstractions, ACM SIGPLAN Notices, 41:6, (401-414), Online publication date: 11-Jun-2006.
- Dong J From semantic web to expressive software specifications Proceedings of the 28th international conference on Software engineering, (1063-1064)
- Kuncak V and Rinard M An overview of the Jahob analysis system Proceedings of the 20th international conference on Parallel and distributed processing, (285-285)
- Meng S and Barbosa L (2006). Components as coalgebras, Theoretical Computer Science, 351:2, (276-294), Online publication date: 21-Feb-2006.
- Banerjee A and Naumann D (2005). Ownership confinement ensures representation independence for object-oriented programs, Journal of the ACM, 52:6, (894-960), Online publication date: 1-Nov-2005.
- Frias M, López Pombo C, Baum G, Aguirre N and Maibaum T (2005). Reasoning about static and dynamic properties in alloy, ACM Transactions on Software Engineering and Methodology, 14:4, (478-526), Online publication date: 1-Oct-2005.
- Basu S t-UNITY – a formal framework for modeling and reasoning about timing constraints in real-time systems Proceedings of the 6th international conference on Distributed Computing, (138-143)
- Barbosa L A perspective on component refinement Proceedings of the Third international conference on Formal Methods for Components and Objects, (23-48)
- Floridi L (2004). Outline of a Theory of Strongly Semantic Information, Minds and Machines, 14:2, (197-221), Online publication date: 1-May-2004.
- Derrick J and Wehrheim H Using coupled simulations in non-atomic refinement Proceedings of the 3rd international conference on Formal specification and development in Z and B, (127-147)
- Herranz Á and Moreno-Navarro J Formal extreme (and extremely formal) programming Proceedings of the 4th international conference on Extreme programming and agile processes in software engineering, (88-96)
- Jones C (2003). The Early Search for Tractable Ways of Reasoning about Programs, IEEE Annals of the History of Computing, 25:2, (26-49), Online publication date: 1-Apr-2003.
- Avron A Classical Gentzen-type methods in propositional many-valued logics Beyond two, (117-155)
- Jagannathan R and Sivilotti P Increasing client-side confidence in remote component implementations Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering, (52-61)
- Turner R (2001). Type inference for set theory, Theoretical Computer Science, 266:1-2, (951-974), Online publication date: 6-Sep-2001.
- Jagannathan R and Sivilotti P (2001). Increasing client-side confidence in remote component implementations, ACM SIGSOFT Software Engineering Notes, 26:5, (52-61), Online publication date: 1-Sep-2001.
- Bowman H and Derrick J Issues in formal methods Formal methods for distributed processing, (36-51)
- Benson S and Standing C (2001). Effective Knowledge Management, Information Systems Frontiers, 3:2, (227-238), Online publication date: 1-Jun-2001.
- Smith G and Derrick J (2001). Specification, Refinement and Verification of Concurrent Systems—An Integration of Object-Z and CSP, Formal Methods in System Design, 18:3, (249-284), Online publication date: 1-May-2001.
- Kwon G Rewrite rules and operational semantics for model checking UML statecharts Proceedings of the 3rd international conference on The unified modeling language: advancing the standard, (528-540)
- Sendall S and Strohmeier A From use cases to system operation specifications Proceedings of the 3rd international conference on The unified modeling language: advancing the standard, (1-15)
- Tremblay G Formal Methods Proceedings of the 13th Conference on Software Engineering Education & Training
- Stoddart B, Dunne S and Galloway A (1999). Undefined Expressions and Logic in Z and B, Formal Methods in System Design, 15:3, (201-215), Online publication date: 1-Nov-1999.
- Chisholm G and Wojcik A (1999). An Application of Formal Analysis to Software in a Fault-Tolerant Environment, IEEE Transactions on Computers, 48:10, (1053-1064), Online publication date: 1-Oct-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.
- Al-Amayreh A and Zin A Probe Proceedings of the 20th international conference on Information Systems, (400-404)
- Wang F and Lo C (1999). Procedure-Level Verification of Real-time Concurrent Systems, Real-Time Systems, 16:1, (81-114), Online publication date: 1-Jan-1999.
- Gargouri B, Jmaiel M and Ben Hamadou A Vers l'utilisation des méthodes formelles pour le développement de linguiciels Proceedings of the 36th Annual Meeting of the Association for Computational Linguistics and 17th International Conference on Computational Linguistics - Volume 1, (438-443)
- Broy M (1998). A Functional Rephrasing of the Assumption/Commitment Specification Style, Formal Methods in System Design, 13:1, (87-119), Online publication date: 1-May-1998.
- 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)
- Valenti S, Panti M and Cucchiarelli A (1998). Overcoming communication obstacles in user-analyst interaction for functional requirements elicitation, ACM SIGSOFT Software Engineering Notes, 23:1, (50-55), Online publication date: 1-Jan-1998.
- Smith G and Derrick J Refinement and Verification of Concurrent Systems Specified in Object-Z and CSP Proceedings of the 1st International Conference on Formal Engineering Methods
- Dong J, Fulton N, Zucconi L and Colton J Formalising Process Scheduling Requirements for an Aircraft Operational Flight Program Proceedings of the 1st International Conference on Formal Engineering Methods
- Hong J, Song H, Kim T and Park K (1997). A Real-Time Discrete Event System Specification Formalismfor Seamless Real-Time Software Development, Discrete Event Dynamic Systems, 7:4, (355-375), Online publication date: 1-Oct-1997.
- Liu X, Yang H and Zedan H Formal Methods for the Re-Engineering of Computing Systems Proceedings of the 21st International Computer Software and Applications Conference
- Bernot G, Bouaziz L and Le Gall P A theory of probabilistic functional testing Proceedings of the 19th international conference on Software engineering, (216-226)
- Dutertre B and Stavridou V (1997). Formal Requirements Analysis of an Avionics Control System, IEEE Transactions on Software Engineering, 23:5, (267-278), Online publication date: 1-May-1997.
- Finn S, Fourman M and Longley J (1997). Partial Functions in a Total Setting, Journal of Automated Reasoning, 18:1, (85-104), Online publication date: 1-Feb-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.
- Ward M (1996). Derivation of Data Intensive Algorithms by Formal Transformation, IEEE Transactions on Software Engineering, 22:9, (665-686), Online publication date: 1-Sep-1996.
- Andrews D (1996). An exercise in modelling, Information and Software Technology, 38:5, (323-332), Online publication date: 1-May-1996.
- Goldsack S and Lano K (1996). Annealing and data decomposition in VDM, ACM SIGPLAN Notices, 31:4, (32-38), Online publication date: 1-Apr-1996.
- Borgida A, Mylopoulos J and Reiter R (1995). On the Frame Problem in Procedure Specifications, IEEE Transactions on Software Engineering, 21:10, (785-798), Online publication date: 1-Oct-1995.
- Spivey J (1995). Unification, Formal Aspects of Computing, 7:2, (150-168), Online publication date: 1-Mar-1995.
- Paryavi M and Hankley W OOSPEC Proceedings of the 1995 ACM 23rd annual conference on Computer science, (169-177)
- Mummert L, Wing J and Satyanarayanan M Using belief to reason about cache coherence Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing, (71-80)
- Fagin R, Halpern J, Moses Y and Vardi M An operational semantics for knowledge bases Proceedings of the Twelfth AAAI National Conference on Artificial Intelligence, (1142-1147)
- Auerbach J and Russell J (1994). The Concert signature representation, ACM SIGPLAN Notices, 29:8, (1-12), Online publication date: 1-Aug-1994.
- Auerbach J and Russell J The Concert signature representation Proceedings of the Workshop on Interface Definition Languages, (1-12)
- Halasz F, Schwartz M, Grønbæk K and Trigg R (1994). The Dexter hypertext reference model, Communications of the ACM, 37:2, (30-39), Online publication date: 1-Feb-1994.
- Bar-David T (1994). Object oriented librarianship, ACM SIGPLAN OOPS Messenger, 5:1, (1-5), Online publication date: 1-Jan-1994.
- Kans A and Hayton C (1994). Using ABC to prototype VDM specifications, ACM SIGPLAN Notices, 29:1, (27-36), Online publication date: 1-Jan-1994.
- Wood K A practical approach to software engineering using Z and the refinement calculus Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering, (79-88)
- Wood K (1993). A practical approach to software engineering using Z and the refinement calculus, ACM SIGSOFT Software Engineering Notes, 18:5, (79-88), Online publication date: 1-Dec-1993.
- Ryman A Illuminating software specifications Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1, (412-428)
- Krause P, Fox J, O'Neil M and Glowinski A (1993). Can we Formally Specify a Medical Decision Support System?, IEEE Expert: Intelligent Systems and Their Applications, 8:3, (56-61), Online publication date: 1-Jun-1993.
- Borgida A, Mylopoulos J and Reiter R “…And nothing else changes” Proceedings of the 15th international conference on Software Engineering, (303-314)
- Terwilliger R (1993). Toward tools to support the Gries/Dijkstra design process, ACM SIGSOFT Software Engineering Notes, 18:2, (50-59), Online publication date: 1-Apr-1993.
- Liu S and McDermid J Dynamic sets and their application in VDM Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice, (187-192)
- Kurki-Suonio R (1993). Stepwise Design of Real-Time Systems, IEEE Transactions on Software Engineering, 19:1, (56-69), Online publication date: 1-Jan-1993.
- Cordy J and Shukla M Practical metaprogramming Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1, (215-224)
- de Champeaux D, Lea D and Faure P (1992). The process of object-oriented design, ACM SIGPLAN Notices, 27:10, (45-62), Online publication date: 31-Oct-1992.
- de Champeaux D, Lea D and Faure P The process of object-oriented design Conference proceedings on Object-oriented programming systems, languages, and applications, (45-62)
- Lowry M (1992). Software Engineering in the Twenty‐First Century, AI Magazine, 13:3, (71-87), Online publication date: 1-Sep-1992.
- Pearce T and Lamb D The property vector specification of a multiset iterator Proceedings of the 14th international conference on Software engineering, (235-245)
- Liu S A user-friendly formal requirements specification method Proceedings of the 30th annual ACM Southeast Regional Conference, (211-218)
- Angele J and Küpper D (1992). Modula-2 an alternative to C?, ACM SIGPLAN Notices, 27:4, (17-26), Online publication date: 1-Apr-1992.
- Liu S A formal structured method for requirement specification construction Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's, (1055-1063)
- Ince D (1992). Arrays and pointers considered harmful, ACM SIGPLAN Notices, 27:1, (99-104), Online publication date: 1-Jan-1992.
- Austin S, Wilkins D and Wichmann B An Ada program test generator Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations, (320-325)
- Leite J and Freeman P (1991). Requirements Validation Through Viewpoint Resolution, IEEE Transactions on Software Engineering, 17:12, (1253-1269), Online publication date: 1-Dec-1991.
- Kurki-Suonio R (1991). Stepwise design of real-time systems, ACM SIGSOFT Software Engineering Notes, 16:5, (120-131), Online publication date: 1-Nov-1991.
- Garlan D Preconditions for understanding Proceedings of the 6th international workshop on Software specification and design, (242-245)
- Corsetti E, Crivelli E, Mandrioli D, Montanari A, Morzenti A, Pietro P and Ratto E Dealing with different time scales in formal specifications Proceedings of the 6th international workshop on Software specification and design, (92-101)
- Broy M Declarative specification and declarative programming Proceedings of the 6th international workshop on Software specification and design, (2-11)
- Meggendorfer S and Manhart P A knowledge and deduction based software retrieval tool Proceedings of the 6th International Conference on Knowledge-Based Software Engineering, (127-133)
- Kurki-Suonio R Stepwise design of real-time systems Proceedings of the conference on Software for citical systems, (120-131)
- Peleska J (1991). Design and verification of fault tolerant systems with CSP, Distributed Computing, 5:2, (95-106), Online publication date: 1-Sep-1991.
- Murphy D and Sanders J (1991). Book reviews, Formal Aspects of Computing, 3:2, (206-212), Online publication date: 1-Jun-1991.
- Jackson D Aspect Proceedings of the 13th international conference on Software engineering, (13-22)
- Dufourd J An OBJ3 functional specification for boundary representation Proceedings of the first ACM symposium on Solid modeling foundations and CAD/CAM applications, (61-72)
- Fraser M, Kumar K and Vaishnavi V (1991). Informal and Formal Requirements Specification Languages, IEEE Transactions on Software Engineering, 17:5, (454-466), Online publication date: 1-May-1991.
- King P (1991). Formalization of Protocol Engineering Concepts, IEEE Transactions on Computers, 40:4, (387-403), Online publication date: 1-Apr-1991.
- Lees R A tailored design language Proceedings of the conference on TRI-ADA '90, (22-31)
- Wand Y and Weber R (1990). An Ontological Model of an Information System, IEEE Transactions on Software Engineering, 16:11, (1282-1292), Online publication date: 1-Nov-1990.
- Bear S, Allen P, Coleman D and Hayes F (1990). Graphical specification of object oriented systems, ACM SIGPLAN Notices, 25:10, (28-37), Online publication date: 1-Oct-1990.
- Ledru Y and Schobbens P (1990). Applying VDM to large developments, ACM SIGSOFT Software Engineering Notes, 15:4, (55-58), Online publication date: 1-Sep-1990.
- Jacky J (1990). Formal specification for a clinical cyclotron control system, ACM SIGSOFT Software Engineering Notes, 15:4, (45-54), Online publication date: 1-Sep-1990.
- Garlan D (1990). The role of formal reusable frameworks, ACM SIGSOFT Software Engineering Notes, 15:4, (42-44), Online publication date: 1-Sep-1990.
- Bear S, Allen P, Coleman D and Hayes F Graphical specification of object oriented systems Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications, (28-37)
- Wing J (1990). A Specifier's Introduction to Formal Methods, Computer, 23:9, (8-23), Online publication date: 1-Sep-1990.
- Nicholl R (1990). Unreachable States in Model-Oriented Specifications, IEEE Transactions on Software Engineering, 16:4, (472-477), Online publication date: 1-Apr-1990.
- Ledru Y and Schobbens P Applying VDM to large developments Conference proceedings on Formal methods in software development, (55-58)
- Jacky J Formal specification for a clinical cyclotron control system Conference proceedings on Formal methods in software development, (45-54)
- Garlan D The role of formal reusable frameworks Conference proceedings on Formal methods in software development, (42-44)
- Lafontaine C, Ledru Y and Schobbens P An experiment in formal software development: using the B theorem prover on a VDM case study Proceedings of the 12th international conference on Software engineering, (34-42)
- Martin J and Tsai W (1990). N-Fold inspection: a requirements analysis technique, Communications of the ACM, 33:2, (225-232), Online publication date: 1-Feb-1990.
- Payne M, Schaffert C and Wichmann B (1990). Proposal for a language compatible arithmetic standard, ACM SIGNUM Newsletter, 25:1, (2-43), Online publication date: 1-Jan-1990.
- Bieman J and Schultz J (1989). Estimating the number of test cases required to satisfy the all-du-paths testing criterion, ACM SIGSOFT Software Engineering Notes, 14:8, (179-186), Online publication date: 1-Dec-1989.
- Bieman J and Schultz J Estimating the number of test cases required to satisfy the all-du-paths testing criterion Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification, (179-186)
- Kokol P (1989). Metamodels for system development, ACM SIGSOFT Software Engineering Notes, 14:5, (118-123), Online publication date: 1-Jul-1989.
- Terwilliger R, Maybee M and Osterweil L (1989). An example of formal specification as an aid to design and development, ACM SIGSOFT Software Engineering Notes, 14:3, (266-272), Online publication date: 1-May-1989.
- Lin F and Hunt F (1989). LCD-reification: a formal method for developing Prolog programs, ACM SIGSOFT Software Engineering Notes, 14:3, (249-256), Online publication date: 1-May-1989.
- Delisle N and Garlan d (1989). Formally specifying electronic instruments, ACM SIGSOFT Software Engineering Notes, 14:3, (242-248), Online publication date: 1-May-1989.
- Kooij M (1989). Interface specification with temporal logic, ACM SIGSOFT Software Engineering Notes, 14:3, (104-110), Online publication date: 1-May-1989.
- Terwilliger R, Maybee M and Osterweil L An example of formal specification as an aid to design and development Proceedings of the 5th international workshop on Software specification and design, (266-272)
- Lin F and Hunt F LCD-reification: a formal method for developing Prolog programs Proceedings of the 5th international workshop on Software specification and design, (249-256)
- Delisle N and Garlan d Formally specifying electronic instruments Proceedings of the 5th international workshop on Software specification and design, (242-248)
- Kooij M Interface specification with temporal logic Proceedings of the 5th international workshop on Software specification and design, (104-110)
- Middelburg C (1989). VVSL, Formal Aspects of Computing, 1:1, (115-135), Online publication date: 1-Mar-1989.
- Thomas M (1989). Development methods for trusted computer systems, Formal Aspects of Computing, 1:1, (5-18), Online publication date: 1-Mar-1989.
- Thompson S (1989). A logic for Miranda, Formal Aspects of Computing, 1:1, (339-365), Online publication date: 1-Mar-1989.
- King K The international standardization of Modula-2 Proceedings of the 17th conference on ACM Annual Computer Science Conference, (313-319)
- Lamport L (1989). A simple approach to specifying concurrent systems, Communications of the ACM, 32:1, (32-45), Online publication date: 1-Jan-1989.
- Josephs M (1988). A state-based approach to communicating processes, Distributed Computing, 3:1, (9-18), Online publication date: 1-Mar-1988.
- Zic J (1987). Extensions to communicating sequential processes to allow protocol performance specification, ACM SIGCOMM Computer Communication Review, 17:5, (217-227), Online publication date: 1-Oct-1987.
- Clark R Designing concurrent objects Proceedings of the first international workshop on Real-time Ada issues, (107-109)
- Clark R (1987). Designing concurrent objects, ACM SIGAda Ada Letters, VII:6, (107-109), Online publication date: 1-Oct-1987.
- Zic J Extensions to communicating sequential processes to allow protocol performance specification Proceedings of the ACM workshop on Frontiers in computer communications technology, (217-227)
Index Terms
- Systematic software development using VDM
Recommendations
Systematic literature review on agile practices in global software development
Abstract ContextDeveloping software in distributed development environments exhibits coordination, control and communication challenges. Agile practices, which demand frequent communication and self-organization between remote sites, are increasingly ...
Software Process Improvement in Agile Software Development A Systematic Literature Review
SEAA '15: Proceedings of the 2015 41st Euromicro Conference on Software Engineering and Advanced ApplicationsIt is recognized the relevance and importance that software process improvement (SPI) and agile development have gained in the field of software engineering. Both are approaches that increase the efficiency and effectiveness of a software development ...
"Leagile" software development
In recent years there has been a noticeable shift in attention from those who use agile software development toward lean software development, often labelled as a shift "from agile to lean". However, the reality may not be as simple or linear as this ...