Formal Validation for Software Modeling

Currently,modeling for software is mostly semiformal, such as UML(Unified Modeling Language).Hie main problem is difficult to analyze semantics and verify correctness for a vital system.CPN(Colored Petri Net)as modeling and verification method provides formal semantics and a number of analysis techn...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	International journal of computer science issues 2013-03, Vol.10 (2 Part 1), p.308-308
Hauptverfasser:	Tian, Baojun, Gu, Yanlin
Format:	Artikel
Sprache:	eng
Schlagworte:	Computer programs Computer science Computer simulation Mathematical models Program verification (computers) Semantics Software Transforms Unified Modeling Language
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!