Søkt på: Søkeresultat
totalt 15 treff
Deductive Program Design
Deductive program design aims at methods that guide and support the development of programs by techniques of deduction. Deduction is a well-known subject of study in logical …
Program Design Calculi
The development of information processing systems requires models, calculi, and theories for the analysis of computations. It is well understood by now that more complex software …
Software-Entwicklung
Einführung in die Softwaretechnik
Das Buch führt in die Grundlagen der Softwaretechnik ein. Dabei liegt sein Fokus auf der systematischen und modellbasierten Software- und Systementwicklung aber auch auf dem …
Projektorganisation und Management im Software Engineering
Software Engineering hat das ingenieurmäßige Entwickeln umfangreicher Softwaresysteme zum Ziel. Kritische Größen sind Kosten, Termine und Qualität. Neben unterschiedlichen …
Advanced Model-Based Engineering of Embedded Systems
This book provides a comprehensive introduction into the SPES XT modeling framework. Moreover, it shows the applicability of the framework for the development of embedded systems …
Model-Based Engineering of Collaborative Embedded Systems
This Open Access book presents the results of the "Collaborative Embedded Systems" (CrESt) project, aimed at adapting and complementing the methodology underlying modeling …
Modellbildung in der Informatik
Leitlinie dieser Einfuhrung in die Informatik ist die Frage, welche Vorgehensweisen einem Problem informatische Kontur verleihen und welche Techniken zur Verfugung stehen, um …
50 Jahre Universitäts-Informatik in München
50 Jahre Lehre in Informatik an den drei Münchner Universitäten (Ludwig-Maximilians-Universität, Technische Universität München und Universität der Bundeswehr Neubiberg) sind der …
Specification and Development of Interactive Systems
This book presents a fundamental mathematical and logical approach to soft ware and systems engineering. Considering the large number of books de scribing mathematical approaches …
Model-Based Systems Engineering with the SPES Modeling Language
This open access book presents the results of the project “SysML Workbench for the SPES Methodology” (SpesML), funded by the German Ministry of Education and Research. SpesML is a …
Engineering Theories of Software Intensive Systems
Software engineering has over the years been applied in many different fields, ranging from telecommunications to embedded systems in car and aircraft industry as well as in …