Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES^MB 2012) : September 30th, 2012, Innsbruck, Austria |
Autore | Ober Iulian |
Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2012 |
Descrizione fisica | 1 online resource (66 pages) |
Collana | ACM Conferences |
Soggetto topico |
Engineering & Applied Sciences
Computer Science |
ISBN | 1-4503-1800-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | ACES-MB '12 |
Record Nr. | UNINA-9910375885703321 |
Ober Iulian | ||
[Place of publication not identified], : ACM, 2012 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
SDL 2011: Integrating System and Software Modeling [[electronic resource] ] : 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers / / edited by Iulian Ober, Ileana Ober |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (VIII, 277 p. 149 illus., 61 illus. in color.) |
Disciplina | 004.6 |
Collana | Computer Communication Networks and Telecommunications |
Soggetto topico |
Computer organization
Software engineering Computer logic Programming languages (Electronic computers) Computer communication systems Management information systems Computer science Computer Systems Organization and Communication Networks Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Computer Communication Networks Management of Computing and Information Systems |
ISBN | 3-642-25264-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465996703316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Software Technologies: Applications and Foundations [[electronic resource] ] : STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers / / edited by Manuel Mazzara, Iulian Ober, Gwen Salaün |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XXI, 658 p. 231 illus., 112 illus. in color.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Programming languages (Electronic computers) Special purpose computers Computer logic Algorithms Artificial intelligence Software Engineering Programming Languages, Compilers, Interpreters Special Purpose and Application-Based Systems Logics and Meanings of Programs Algorithm Analysis and Problem Complexity Artificial Intelligence |
ISBN | 3-030-04771-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Formal Co-Simulation of Cyber-Physical Systems (CoSim-CPS) -- From Data to Models and Back (DataMod) -- Formal Methods for Interactive Systems (FMIS) -- Foundations of Coordination Languages and Self-adaptative Systems (FOCLASA) -- Graph Computation Models (GCM) -- Model-Driven Engineering for Design-Runtime Interaction in Complex Systems (MDE@DeRun) -- Microservices: Science and Engineering (MSE) -- Security for and by Model-Driven Engineering (MDE). |
Record Nr. | UNISA-996466285303316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Software Technologies: Applications and Foundations : STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers / / edited by Manuel Mazzara, Iulian Ober, Gwen Salaün |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XXI, 658 p. 231 illus., 112 illus. in color.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Programming languages (Electronic computers) Special purpose computers Computer logic Algorithms Artificial intelligence Software Engineering Programming Languages, Compilers, Interpreters Special Purpose and Application-Based Systems Logics and Meanings of Programs Algorithm Analysis and Problem Complexity Artificial Intelligence |
ISBN | 3-030-04771-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Formal Co-Simulation of Cyber-Physical Systems (CoSim-CPS) -- From Data to Models and Back (DataMod) -- Formal Methods for Interactive Systems (FMIS) -- Foundations of Coordination Languages and Self-adaptative Systems (FOCLASA) -- Graph Computation Models (GCM) -- Model-Driven Engineering for Design-Runtime Interaction in Complex Systems (MDE@DeRun) -- Microservices: Science and Engineering (MSE) -- Security for and by Model-Driven Engineering (MDE). |
Record Nr. | UNINA-9910349386703321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|