Title :
Proceedings of the Second International Conference on Software Engineering and Formal Methods
Abstract :
Presents the cover from the proceedings of this conference.
Keywords :
hardware-software codesign; object-oriented programming; parallel processing; software architecture; software engineering; automated analysis; automated proof; automated verification; component-based development; formal methods; formal verification; hardware-software codesign; model checking; model integration; object-oriented development; parallel distributed systems; program testing; program validation; software architecture; software engineering; system correctness analysis; system correctness refinement; system development; system modeling; theory unification;
Conference_Titel :
Software Engineering and Formal Methods, 2004. SEFM 2004. Proceedings of the Second International Conference on
Conference_Location :
Beijing, China
Print_ISBN :
0-7695-2222-X
DOI :
10.1109/SEFM.2004.1347489
