A formal support system for the object oriented analysis
From MaRDI portal
Reliability, testing and fault tolerance of networks and computer systems (68M15) General topics in the theory of software (68N01) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60)
Recommendations
- A new method of systemological analysis coordinated with the object-oriented design procedure. I
- A new method of systemological analysis coordinated with the procedure of object-oriented design. II
- Formalization of communication and behaviour in object-oriented analysis
- A formal approach to object-oriented software engineering
- Integrating object-oriented model with object-oriented metamodel into a single formalism
Cited in
(7)- A new method of systemological analysis coordinated with the object-oriented design procedure. I
- Domain-specific semantics and data refinement of object models
- scientific article; zbMATH DE number 1002447 (Why is no real title available?)
- scientific article; zbMATH DE number 1283870 (Why is no real title available?)
- Formalization of communication and behaviour in object-oriented analysis
- Object organisation in software environments for formal methods
- scientific article; zbMATH DE number 2242603 (Why is no real title available?)
This page was built for publication: A formal support system for the object oriented analysis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5309608)
