ZFDSS : a formal development support system based on the liberal approach

ZFDSS : a formal development support system based on the liberal approach

Bibliographic Details
Main Author:	Zin, Abdullah Mohd
Published:	University of Nottingham 1993
Subjects:	005 Project management in software development
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.385242

Similar Items

Exploring the barriers to formal specification
by: Snook, Colin Frank
Published: (2001)

A pragmatic approach to the formal development of safety-critical systems
by: Coombes, Andrew Charles
Published: (1994)

The formal development of secure systems
by: Graham, -Cumming
Published: (1992)

Software tools to support formal methods
by: McParland, Patrick J.
Published: (1989)

Formalizing the ISDF Software Development Methodology
by: Mihai Liviu DESPA
Published: (2015-01-01)

Systematic method support for CASE-tool evaluation
by: Lundell, BjoÌˆrn Hans Lennart
Published: (2001)

Formal models for systems prototyping
by: Barroca, Leonor Maria Melo Torcato
Published: (1989)

A model for enhancing software project management using software agent technology
by: Nienaber, R. C. (Rita Charlotte)
Published: (2009)

A model for enhancing software project management using software agent technology
by: Nienaber, R. C. (Rita Charlotte)
Published: (2009)

The application of a formal development method to a parallel machine environment
by: Jones, K. D.
Published: (1985)

Formal methods and interactive systems : Principles and practice
by: Dix, A. J.
Published: (1987)

A graphical based formalism for executable specification
by: Gaskell, Craig
Published: (1997)

Relational database support for a rule based approach to information systems
by: Kopanas, Vassilios
Published: (1991)

A method for formal specification and verification of interactive systems
by: Paterno, Fabio Domenico
Published: (1995)

Formal modelling and analysis of broadcasting embedded control systems
by: Kendall, David
Published: (2001)

Pragmatic application of formal methods to safety critical systems
by: Pratt, Norman Derek
Published: (1996)

A social-technical approach to selecting software supporting COTS-based systems
by: Kunda, Douglas
Published: (2001)

Data re-engineering using formal transformations
by: Mortimer, Richard Eric
Published: (1998)

A formal development method for the construction of correct distributed applications software
by: Roantree, Donal Kevin
Published: (1993)

System modelling and systematic testing
by: Fu, Xiaoying
Published: (1995)

A knowledge-based approach to software design support
by: Sharp, Helen Claire
Published: (1989)

The formal specification of computational structures
by: Stewart, Alan
Published: (1986)

Animation prototyping of formal specifications
by: Hughes, Thomas S.
Published: (1992)

Automatic generation of software test cases from formal specifications
by: Meudec, Christophe
Published: (1998)

Right on time : measuring, modelling and managing time-constrained software development
by: Powell, Antony Lee
Published: (2001)

Methodological support for developing complex information systems
by: Diakonikolaou, George
Published: (1992)

Methods integration : rigorous systems specification using structured analysis and formal notations
by: Semmens, Lesely T.
Published: (1996)

Controlling the software development process through the techniques of software process modelling and formal methods
by: Proudlock, Kimberley M.
Published: (1994)

Specifying distributed applications : the limits of formality
by: Fergus, Edward Joseph
Published: (1990)

Formal specification and verification of OSI protocols
by: Zhang, Bairong
Published: (1996)

Formal techniques in the management of software design
by: Richardson, W. E.
Published: (1983)

Evolution of a concurrent programming formalism
by: Rietti, G.
Published: (1980)

Formal methods for rapid software prototyping
by: Quintas Figueiredo de Barros, Alexandra Maria
Published: (1997)

Formal methods and reuse in software engineering
by: Higgs, Clive Richard
Published: (1990)

Reuse with risk management : a decision support approach
by: Burd, Elizabeth L.
Published: (1999)

Supporting multi-user interface development for cooperative systems
by: Bentley, Richard Michael
Published: (1994)

Support for an integrated approach to program understanding : an application of software visualisation
by: Chan, Pui Shan
Published: (1998)

A joint application of soft systems methodology and object-oriented analysis in determining organisational information requirements
by: Lai, Linda Sau-ling
Published: (1999)

Interpreter prototypes from formal language definitions
by: Michaelson, Gregory John
Published: (1993)

Study on Risk Approaches in Software Development Projects
by: Claudiu BRANDAS, et al.
Published: (2012-01-01)