Information systems engineering : a formal approach /
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge ; New York, N.Y. :
Cambridge University Press,
1994.
|
| Subjects: |
Table of Contents:
- 2. Application domains
- 3. Transition systems
- 4. Objects
- 5. Actors
- 6. Specification language
- 9. Transition systems framework
- 10. Object framework
- 11. Actor framework
- 14. Actor modeling
- 15. Object modeling
- 16. Object oriented modeling
- 19. Invariants
- 20. Occurrence graph
- 21. Time analysis
- 22. Stimulation
- 25. Semantic concepts
- 26. Constructive part of the language
- 27. Declarative part of the language
- 28. Methods for function construction
- 29. Specification methods
- Appendix A Mathematical notions
- Appendix B Syntax summary
- Appendix C Toolkit.