Formal Models for Component Connectors
|ACM||Applications (acm I.1.4)|
|MSC||Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (msc 68Q85), Distributed algorithms (msc 68W15), Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (msc 68N30), Languages and software systems (knowledge-based systems, expert systems, etc.) (msc 68T35)|
|THEME||Software (theme 1)|
|Promotor||J.J.M.M. Rutten (Jan) , F. Arbab (Farhad)|
|Degree Grantor||Vrije Universiteit Amsterdam|
|Series||Institute for Programming research and Algorithmics Dissertation Series ; 2010-10|
de Oliveira Costa, D.F. (2010, December 13). Formal Models for Component Connectors. IPA dissertation series.