|
|
|
 |
|
|
| |
References: Software Engineering
| [Bjø03a] |
Dines Bjørner.
Models, semiotics, documents and descriptions - towards software
engineering literacy.
Technical report, Informatics and Mathematical Modelling, Technical
University of Denmark, 2003.
This paper is one of a series of papers currently being submitted for
publication. [ .ps ] |
| [Bjø03b] |
Dines Bjørner.
Principles and techniques of abstract modelling - some basic
classifications - towards a methodology of software engineering.
Technical Report DK-2800, Informatics and Mathematical Modelling,
Technical University of Denmark, 2003.
This paper is one of a series of papers currently being submitted for
publication. [ .ps ] |
| [Bjø05] |
Dines Bjørner.
On formal & practical aspects of software engineering.
A series of books to be published by Springer-Verlag, Berlin –
Heidelberg in 2005, 2005. [ http ] |
| [Dis01] |
Zinovy Diskin.
On modeling, mathematics, category theory and RM-ODP.
In WOODPECKER'2001: Workshop On Open Distributed
Processing: (In conjunction with ICEIS'2001), pages 35-54. ICEIS Press,
Portugal, 2001.
ISBN 972-98050-5-9. [ .pdf | Abstract ] |