Abstract :
The following topics are dealt with: formal requirement analysis; program analysis; service-oriented computing; model checking; and real-time analysis.
Keywords :
formal specification; formal verification; software architecture; systems analysis; formal requirement analysis; model checking; program analysis; real time analysis; service oriented computing;
Conference_Titel :
Software Engineering and Formal Methods (SEFM), 2010 8th IEEE International Conference on
Conference_Location :
Pisa
Print_ISBN :
978-1-4244-8289-4
DOI :
10.1109/SEFM.2010.44
