Mathematical Foundations of Software Engineering: a Roadmap

Key Research Zeiger

# Vertretung Verhalten (einschließlich Parallelität und Dauer der Tätigkeiten) und in der Lage zu analysieren. Es kann viele verschiedene Arten von Verhalten, und es gibt keine offensichtlichen Notwendigkeit, eine universelle Darstellung haben - ganz im Gegenteil! Engineering-Tools sind besonders wertvoll, wenn sie bestimmten, so verschieden Klassen von Problemen kann verlangen unterschiedliche Sprachen, sie zu vertreten sind.
# Vertretung "ility 'Eigenschaften sowie die Entwicklung entsprechender Technik Theorien, welche die Nutzung des" ility "im Design.
# Systematischerer Fachwissen für den Bereich der Anwendung. Das ist hart, lange und oft mühsame Arbeit.
# Definition der Spezifikation und Verfeinerung Muster / Design benötigt, um Entscheidungen zu kapseln Architekturen. Daraus ergibt sich für die "Kochbuch" Aspekte der normalen Design. Die Arbeit an Produktlinie Architekturen, wenn es richtig zur formalen Engineering Systematisierung getrieben wird enorm dazu beitragen.
# Ein besseres Verständnis der Modularität Prinzipien. Die einzig wirksame Methode für den Umgang mit der Komplexität von Software-basierten Systemen ist Zersetzung. Modularität ist eine Eigenschaft von Systemen, die den Umfang widerspiegelt, auf die sie zerlegbar in Einzelteile ist, aus den Eigenschaften, die wir in der Lage, die Eigenschaften des Ganzen vorherzusagen. Sprachen, die nicht über ausreichend starke Modularität Eigenschaften sind zum Scheitern verurteilt, soweit vorhersehbar Design betrifft.
# Verbesserter und spezialisierte Analyse-Tools, auf viele weitere Abstraktion (Interpretation) Werkzeuge Adresse Machbarkeit / Handhabbarkeit der Analyse, mehr und spezialisierte Entscheidungsverfahren für interessante Eigenschaften (mit Abstraktionen zu gleichen ungefähre).


-> zurück zur Startseite <- | -> Die Zukunft des Software Engineering <- | ->Impressum <-