Catálogos de Bibliotecas 4

COMPUTER SOFTWARE 4 Computer software reusability 4 Formal methods 4 Model checking 4 REUSABILITY 4 COMMUNICATIONS ENGINEERING, NETWORKS 3 ELECTRICAL ENGINEERING 3 ENGINEERING 3 Abstracting 2 Architecture 2 Atomic actions 2 Behavior analysis 2 Building systems 2 Case studies 2 Composition of services 2 Computer software 2 Concurrent interactions 2 Dynamic logics 2 Engineers 2 Final states 2 Formal Semantics 2 In-buildings 2 Information services 2 Intermediate states 2 JAVA programs 2 Java programming language 2 Mechanical support 2 Middleware 2 Middleware components 2 Model-based engineering 2