wyszukanych pozycji: 2
Interaktives Entwerfen großer Programmsysteme: Konzepte und Werkzeuge
ISBN: 9783540505532 / Niemiecki / Miękka / 1988 / 179 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Im Rahmen des Forschungsprojektes IPSEN (Incremental Programming Support Environment) wurden Konzepte zum Bau hochgradig interaktiver und integrierter Software-Entwicklungsumgebungen erarbeitet und ihre Brauchbarkeit in einer Prototyp-Implementierung nachgewiesen. Die wesentlichen Charakteristika des IPSEN-Ansatzes sind der hohe Grad an Integration verschiedener Software-Werkzeuge und -Dokumente und der Einsatz eines einheitlichen Modellierungs- und Realisierungsmechanismus fur Software-Entwicklungsumgebungen. Software-Dokumente werden intern als attributierte Graphstrukturen modelliert, und...
Im Rahmen des Forschungsprojektes IPSEN (Incremental Programming Support Environment) wurden Konzepte zum Bau hochgradig interaktiver und integrierter...
|
|
cena:
201,35 zł |
Formal Development of Reactive Systems: Case Study Production Cell
ISBN: 9783540588672 / Angielski / Miękka / 1995 / 400 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book is based upon work done under the project "Correct Software through Formal Methods" supported by the German Ministry of Research and Technology. As a case-study report on the practice of formal software development, this book systematically presents and compares 18 different approaches to the control of a real-world production cell. Mathematically precise, formal methods play an increasingly important role in software development, particularly in areas where failure of software would result in injury to people or, at best, significant loss of money. By analyzing the benefits and...
This book is based upon work done under the project "Correct Software through Formal Methods" supported by the German Ministry of Research and Technol...
|
|
cena:
195,87 zł |