Enhancing soft systems analysis with formal modelling

Publisher Website

19 November 2002

conference paper
Published by Institute of Electrical and Electronics Engineers (IEEE)

https://doi.org/10.1109/isre.1995.512558

Abstract

No abstract available

Keywords

This publication has 8 references indexed in Scilit:

Introduction to the ISO specification language LOTOS
Published by Elsevier ,2003
Perfect hash functions made parallel-Lazy functional programming on a distributed multiprocessor
Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
Making changes to formal specifications: requirements and an example
IEEE Transactions on Software Engineering, 1994
The Use of Soft Systems Methodology in Practice
Journal of the Operational Research Society, 1992
Informal and formal requirements specification languages: bridging the gap
IEEE Transactions on Software Engineering, 1991
EXPOSE: an animation tool for process-oriented specifications
Software Engineering Journal, 1991
Fundamentals of Algebraic Specification 1
Published by Springer Nature ,1985
A Calculus of Communicating Systems
Lecture Notes in Computer Science, 1980