Towards a formal semantics for AADL execution model
暂无分享,去创建一个
Mamoun Filali | Daniel Thomas | J-F Rolland | J-P Bodeveix | D Chemouil | M. Filali | J. Bodeveix | D. Chemouil | D. Thomas | Jean-François Rolland
[1] David Garlan,et al. Acme: an architecture description interchange language , 1997, CASCON.
[2] Robert J. Allen. A formal approach to software architecture , 1997 .
[3] Dave Thomas,et al. The AADL behaviour annex -- experiments and roadmap , 2007, 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007).
[4] Leslie Lamport,et al. Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers [Book Review] , 2002, Computer.
[5] Jean-Raymond Abrial,et al. The B-book - assigning programs to meanings , 1996 .
[6] Florence Maraninchi,et al. Mode-Automata: a new domain-specific construct for the development of safe critical systems , 2003, Sci. Comput. Program..
[7] Abdoulaye Gamatié,et al. Polychronous mode automata , 2006, EMSOFT '06.