Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
2010 Workshop on Model-Driven Engineering, Verification, and Validation / / Levi Lúcio, Elisangela Vieira and Stephan Weissleder
| 2010 Workshop on Model-Driven Engineering, Verification, and Validation / / Levi Lúcio, Elisangela Vieira and Stephan Weissleder |
| Autore | Lúcio Levi |
| Pubbl/distr/stampa | Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers (IEEE), , 2010 |
| Descrizione fisica | 1 online resource (various pagings) : illustrations |
| Disciplina | 005.1 |
| Soggetto topico |
Computer software - Development
Model-driven software architecture |
| ISBN | 0-7695-4384-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Model-Driven Engineering, Verification, and Validation |
| Record Nr. | UNISA-996205890203316 |
Lúcio Levi
|
||
| Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers (IEEE), , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
2010 Workshop on Model-Driven Engineering, Verification, and Validation / / Levi Lúcio, Elisangela Vieira and Stephan Weissleder
| 2010 Workshop on Model-Driven Engineering, Verification, and Validation / / Levi Lúcio, Elisangela Vieira and Stephan Weissleder |
| Autore | Lúcio Levi |
| Pubbl/distr/stampa | Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers (IEEE), , 2010 |
| Descrizione fisica | 1 online resource (various pagings) : illustrations |
| Disciplina | 005.1 |
| Soggetto topico |
Computer software - Development
Model-driven software architecture |
| ISBN | 0-7695-4384-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Model-Driven Engineering, Verification, and Validation |
| Record Nr. | UNINA-9910139112303321 |
|
Lúcio Levi
|
||
| Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers (IEEE), , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
2014 2nd International Conference on Model-Driven Engineering and Software Development : 7-9 January, 2014, Lisbon, Portugal / / sponsored by INSTICC-Institute for Systems and Technologies of Information, Control and Communication ; technically co-sponsored by AIS SIGMAS-AIS Special Interest Group on Modeling and Simulation In Cooperation with ACM SIGMIS-ACM Special Interest Group on Management Information Systems, ARTEMIS Project MBAT, MDE Expertise, SOA-Open Group, SOA Work Group
| 2014 2nd International Conference on Model-Driven Engineering and Software Development : 7-9 January, 2014, Lisbon, Portugal / / sponsored by INSTICC-Institute for Systems and Technologies of Information, Control and Communication ; technically co-sponsored by AIS SIGMAS-AIS Special Interest Group on Modeling and Simulation In Cooperation with ACM SIGMIS-ACM Special Interest Group on Management Information Systems, ARTEMIS Project MBAT, MDE Expertise, SOA-Open Group, SOA Work Group |
| Pubbl/distr/stampa | Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2014 |
| Descrizione fisica | 1 online resource (136 pages) |
| Disciplina | 005.1 |
| Soggetto topico |
Software engineering
Computer software - Development Model-driven software architecture |
| ISBN | 989-758-066-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996280994203316 |
| Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
2014 2nd International Conference on Model-Driven Engineering and Software Development : 7-9 January, 2014, Lisbon, Portugal / / sponsored by INSTICC-Institute for Systems and Technologies of Information, Control and Communication ; technically co-sponsored by AIS SIGMAS-AIS Special Interest Group on Modeling and Simulation In Cooperation with ACM SIGMIS-ACM Special Interest Group on Management Information Systems, ARTEMIS Project MBAT, MDE Expertise, SOA-Open Group, SOA Work Group
| 2014 2nd International Conference on Model-Driven Engineering and Software Development : 7-9 January, 2014, Lisbon, Portugal / / sponsored by INSTICC-Institute for Systems and Technologies of Information, Control and Communication ; technically co-sponsored by AIS SIGMAS-AIS Special Interest Group on Modeling and Simulation In Cooperation with ACM SIGMIS-ACM Special Interest Group on Management Information Systems, ARTEMIS Project MBAT, MDE Expertise, SOA-Open Group, SOA Work Group |
| Pubbl/distr/stampa | Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2014 |
| Descrizione fisica | 1 online resource (136 pages) |
| Disciplina | 005.1 |
| Soggetto topico |
Software engineering
Computer software - Development Model-driven software architecture |
| ISBN | 989-758-066-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910139966603321 |
| Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems : 30 September-2 October 2015, Ottawa, ON, Canada / / sponsored by ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, Association for Computing Machinery
| 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems : 30 September-2 October 2015, Ottawa, ON, Canada / / sponsored by ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, Association for Computing Machinery |
| Pubbl/distr/stampa | Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2015 |
| Descrizione fisica | 1 online resource (155 pages) |
| Disciplina | 005.1 |
| Soggetto topico |
Model-driven software architecture
Software engineering Systems engineering |
| ISBN | 1-4673-6908-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996279458303316 |
| Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems : 30 September-2 October 2015, Ottawa, ON, Canada / / sponsored by ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, Association for Computing Machinery
| 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems : 30 September-2 October 2015, Ottawa, ON, Canada / / sponsored by ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, Association for Computing Machinery |
| Pubbl/distr/stampa | Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2015 |
| Descrizione fisica | 1 online resource (155 pages) |
| Disciplina | 005.1 |
| Soggetto topico |
Model-driven software architecture
Software engineering Systems engineering |
| ISBN | 1-4673-6908-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910137449103321 |
| Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
2020 IEEE Tenth International Model-Driven Requirements Engineering (MoDRE) / / Institute of Electrical and Electronics Engineers (IEEE)
| 2020 IEEE Tenth International Model-Driven Requirements Engineering (MoDRE) / / Institute of Electrical and Electronics Engineers (IEEE) |
| Pubbl/distr/stampa | Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers (IEEE), , 2020 |
| Descrizione fisica | 1 online resource (vii, 83 pages) : illustrations some color |
| Disciplina | 005.1 |
| Soggetto topico |
Conference papers and proceedings
Model-driven software architecture Requirements engineering Software engineering |
| ISBN | 1-7281-8356-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | 2020 IEEE Tenth International Model-Driven Requirements Engineering |
| Record Nr. | UNINA-9910437247603321 |
| Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers (IEEE), , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
2020 IEEE Tenth International Model-Driven Requirements Engineering (MoDRE) / / Institute of Electrical and Electronics Engineers (IEEE)
| 2020 IEEE Tenth International Model-Driven Requirements Engineering (MoDRE) / / Institute of Electrical and Electronics Engineers (IEEE) |
| Pubbl/distr/stampa | Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers (IEEE), , 2020 |
| Descrizione fisica | 1 online resource (vii, 83 pages) : illustrations some color |
| Disciplina | 005.1 |
| Soggetto topico |
Conference papers and proceedings
Model-driven software architecture Requirements engineering Software engineering |
| ISBN | 1-7281-8356-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | 2020 IEEE Tenth International Model-Driven Requirements Engineering |
| Record Nr. | UNISA-996575567403316 |
| Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers (IEEE), , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Graph transformations and model-driven engineering : essays dedicated to Manfred Nagl on the occasion of his 65th birthday / / Gregor Engels ... [et al.] (eds.)
| Graph transformations and model-driven engineering : essays dedicated to Manfred Nagl on the occasion of his 65th birthday / / Gregor Engels ... [et al.] (eds.) |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, 2010 |
| Descrizione fisica | 1 online resource (XIV, 768 p. 328 illus.) |
| Disciplina | 005.1028 |
| Altri autori (Persone) | EngelsG |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Model-driven software architecture
Software architecture |
| ISBN |
1-280-39051-4
9786613568434 3-642-17322-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Graph Transformations and Model-Driven Engineering: The Merits of Manfred Nagl -- Graph Transformations and Model-Driven Engineering: The Merits of Manfred Nagl -- Graph Transformations: Theory and Applications -- The Edge of Graph Transformation — Graphs for Behavioural Specification -- Graph Transformation by Computational Category Theory -- On GS-Monoidal Theories for Graphs with Nesting -- Stochastic Modelling and Simulation of Mobile Systems -- Autonomous Units and Their Semantics – The Concurrent Case -- Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation -- Extended Triple Graph Grammars with Efficient and Compatible Graph Translators -- Controlling Reuse in Pattern-Based Model-to-Model Transformations -- Lessons Learned from Building a Graph Transformation System -- Workflow-Driven Tool Integration Using Model Transformations -- Software Architectures and Reengineering -- The Architecture Description Language MoDeL -- Towards Managing Software Architectures with Ontologies -- Using Role-Play Diagrams to Improve Scenario Role-Play -- Reverse Engineering Using Graph Queries -- Graph-Based Structural Analysis for Telecommunication Systems -- Process Support -- Do We Really Know How to Support Processes? Considerations and Reconstruction -- A Meta-Method for Defining Software Engineering Methods -- Techniques for Merging Views of Software Processes -- Embedded Systems Engineering -- Model Checking Programmable Router Configurations -- Architectural Issues of Adaptive Pervasive Systems -- Using Graph Grammars for Modeling Wiring Harnesses – An Experience Report -- Model-Driven Development with Mechatronic UML -- Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent -- Multi-view Modeling to Support Embedded Systems Engineering in SysML -- Engineering Design Applications -- Requirements Engineering in Complex Domains -- Tool Support for Dynamic Development Processes -- An Extensible Modeling Language for the Representation of Work Processes in the Chemical and Process Industries -- Integration Tools for Consistency Management between Design Documents in Development Processes -- Towards Semantic Navigation in Mobile Robotics -- Model Driven Engineering in Operative Industrial Process Control Environments. |
| Record Nr. | UNINA-9910484056803321 |
| Berlin ; ; New York, : Springer, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Model driven architecture - foundations and applications : third European conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007 : proceedings / / David H. Akehurst, Regis Vogel, Richard F. Paige (editors)
| Model driven architecture - foundations and applications : third European conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007 : proceedings / / David H. Akehurst, Regis Vogel, Richard F. Paige (editors) |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [2007] |
| Descrizione fisica | 1 online resource (227 p.) |
| Disciplina | 005.1 |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Model-driven software architecture
Software engineering Object-oriented programming (Computer science) |
| ISBN |
1-280-94943-0
9786610949434 3-540-72901-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | An Open Source Domain-Specific Tools Framework to Support Model Driven Development of OSS -- Efficient Reasoning About Finite Satisfiability of UML Class Diagrams with Constrained Generalization Sets -- A Practical Approach to Model Extension -- Model Transformation from OWL-S to BPEL Via SiTra -- Improving the Interoperability of Automotive Tools by Raising the Abstraction from Legacy XML Formats to Standardized Metamodels -- Templatable Metamodels for Semantic Variation Points -- Execution of Aspect Oriented UML Models -- An Algebraic View on the Semantics of Model Composition -- Towards the Generation of a Text-Based IDE from a Language Metamodel -- Constraints Modeling for (Profiled) UML Models -- Scenarios of Traceability in Model to Text Transformations -- Human Comprehensible and Machine Processable Specifications of Operational Semantics -- Adopting Model Driven Development in a Large Financial Organization -- Reverse Engineering Models from Traces to Validate Distributed Systems – An Industrial Case Study -- A Model Driven Software Factory Using Domain Specific Languages -- Towards a Model Driven Approach to Automatic BPEL Generation. |
| Record Nr. | UNISA-996465871403316 |
| Berlin ; ; Heidelberg : , : Springer, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
