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.
Conceptual Modeling Perspectives / / edited by Jordi Cabot, Cristina Gómez, Oscar Pastor, Maria Ribera Sancho, Ernest Teniente
| Conceptual Modeling Perspectives / / edited by Jordi Cabot, Cristina Gómez, Oscar Pastor, Maria Ribera Sancho, Ernest Teniente |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XIII, 268 p. 94 illus., 63 illus. in color.) |
| Disciplina | 005.1 |
| Soggetto topico |
Software engineering
Computers Application software Software Engineering Models and Principles Information Systems Applications (incl. Internet) |
| ISBN | 3-319-67271-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910254827103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Fundamental Approaches to Software Engineering [[electronic resource] ] : 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings / / edited by Heike Wehrheim, Jordi Cabot
| Fundamental Approaches to Software Engineering [[electronic resource] ] : 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings / / edited by Heike Wehrheim, Jordi Cabot |
| Autore | Wehrheim Heike |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XIII, 552 p. 1 illus.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Computers, Special purpose Microprogramming Computer systems Computer networks Artificial intelligence Software Engineering Special Purpose and Application-Based Systems Control Structures and Microprogramming Computer System Implementation Computer Communication Networks Artificial Intelligence |
| ISBN | 3-030-45234-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Requirements engineering -- Software architectures -- Specification -- Software quality -- Validation -- Verification of functional and non-functional properties -- Model-driven development and model transformation -- Software processes -- Security and software evolution. |
| Record Nr. | UNISA-996418213103316 |
Wehrheim Heike
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Fundamental Approaches to Software Engineering : 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings / / edited by Heike Wehrheim, Jordi Cabot
| Fundamental Approaches to Software Engineering : 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings / / edited by Heike Wehrheim, Jordi Cabot |
| Autore | Wehrheim Heike |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XIII, 552 p. 1 illus.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Computers, Special purpose Microprogramming Computer systems Computer networks Artificial intelligence Software Engineering Special Purpose and Application-Based Systems Control Structures and Microprogramming Computer System Implementation Computer Communication Networks Artificial Intelligence |
| ISBN | 3-030-45234-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Requirements engineering -- Software architectures -- Specification -- Software quality -- Validation -- Verification of functional and non-functional properties -- Model-driven development and model transformation -- Software processes -- Security and software evolution. |
| Record Nr. | UNINA-9910404119103321 |
|
Wehrheim Heike
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Model-driven software engineering in practice / / Marco Brambilla, Jordi Cabot, Manuel Wimmer
| Model-driven software engineering in practice / / Marco Brambilla, Jordi Cabot, Manuel Wimmer |
| Autore | Brambilla Marco |
| Pubbl/distr/stampa | San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA), : Morgan & Claypool, c2012 |
| Descrizione fisica | 1 online resource (184 p.) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
CabotJordi
WimmerManuel |
| Collana | Synthesis lectures on software engineering |
| Soggetto topico |
Software engineering
Computer programming - Computer simulation Model-integrated computing |
| ISBN | 1-60845-883-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
1. Introduction -- 1.1 Purpose and use of models -- 1.2 Modeling for software development -- 1.3 How to read this book --
2. MDSE principles -- 2.1 MDSE basics -- 2.2 Lost in acronyms: the MD* jungle -- 2.3 Overview of the MDSE methodology -- 2.4 MDSE adoption in industry -- 2.5 Tool support -- 2.6 Criticisms of MDSE -- 3. MDSE use cases -- 3.1 Automating software development -- 3.2 System interoperability -- 3.3 Reverse engineering -- 4. Model-driven architecture (MDA) -- 4.1 MDA definitions and assumptions -- 4.2 The modeling levels: CIM, PIM, PSM -- 4.3 Mappings -- 4.4 General-purpose and domain-specific languages in MDA -- 4.5 Architecture-driven modernization -- 5. Integration of MDSE in your development process -- 5.1 Introducing MDSE in your software development process -- 5.2 Traditional development processes and MDSE -- 5.3 Agile and MDSE -- 5.4 Domain-driven design and MDSE -- 5.5 Test-driven development and MDSE -- 6. Modeling languages at a glance -- 6.1 Anatomy of modeling languages -- 6.2 General-purpose vs. domain-specific modeling languages -- 6.3 General-purpose modeling: the case of UML -- 6.4 UML extensibility: the middle way between GPL and DSL -- 6.5 Overview on DSLs -- 6.6 Defining modeling constraints (OCL) -- 7. Developing your own modeling language -- 7.1 Metamodel-centric language design -- 7.2 Example DSML: sWML -- 7.3 Abstract syntax development -- 7.4 Concrete syntax development -- 8. Model-to-model transformations -- 8.1 Model transformations and their classification -- 8.2 Exogenous, out-place transformations -- 8.3 Endogenous, in-place transformations -- 8.4 Mastering model transformations -- 9. Model-to-text transformations -- 9.1 Basics of model-driven code generation -- 9.2 Code generation through programming languages -- 9.3 Code generation through M2T transformation languages -- 9.4 Mastering code generation -- 9.5 Excursus: code generation through M2M transformations and TCS -- 10. Managing models -- 10.1 Model interchange -- 10.2 Model persistence -- 10.3 Model comparison -- 10.4 Model versioning -- 10.5 Model co-evolution -- 10.6 Global model management -- 10.7 Model quality -- 10.7.1 Verifying models -- 11. Summary -- Bibliography -- Authors' biographies. |
| Record Nr. | UNINA-9910149552903321 |
|
Brambilla Marco
|
||
| San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA), : Morgan & Claypool, c2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Modelling Foundations and Applications [[electronic resource] ] : 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings / / edited by Jordi Cabot, Julia Rubin
| Modelling Foundations and Applications [[electronic resource] ] : 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings / / edited by Jordi Cabot, Julia Rubin |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XVIII, 267 p. 129 illus.) |
| Disciplina | 005.10285 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Computer communication systems Management information systems Computer science Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Computer Communication Networks Management of Computing and Information Systems |
| ISBN | 3-319-09195-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Model provenance -- Model transformations and code generation -- Model synthesis -- Model-driven testing -- Formal modeling approaches -- Business modeling -- Usability of models. |
| Record Nr. | UNISA-996198271503316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Modelling Foundations and Applications : 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings / / edited by Jordi Cabot, Julia Rubin
| Modelling Foundations and Applications : 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings / / edited by Jordi Cabot, Julia Rubin |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XVIII, 267 p. 129 illus.) |
| Disciplina | 005.10285 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Computer communication systems Management information systems Computer science Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Computer Communication Networks Management of Computing and Information Systems |
| ISBN | 3-319-09195-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Model provenance -- Model transformations and code generation -- Model synthesis -- Model-driven testing -- Formal modeling approaches -- Business modeling -- Usability of models. |
| Record Nr. | UNINA-9910483278503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 12th Workshop on OCL and Textual Modelling : OCL 2012 : 2012, Innsbruck, Austria
| Proceedings of the 12th Workshop on OCL and Textual Modelling : OCL 2012 : 2012, Innsbruck, Austria |
| Autore | Balaban Mira |
| 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-1799-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | OCL '12 |
| Record Nr. | UNINA-9910375906303321 |
|
Balaban Mira
|
||
| [Place of publication not identified], : ACM, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Theory and Practice of Model Transformations [[electronic resource] ] : 4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011, Proceedings / / edited by Jordi Cabot, Eelco Visser
| Theory and Practice of Model Transformations [[electronic resource] ] : 4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011, Proceedings / / edited by Jordi Cabot, Eelco Visser |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (XII, 229 p. 94 illus., 42 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Computer communication systems Computer programming Mathematical logic Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Computer Communication Networks Programming Techniques Mathematical Logic and Formal Languages |
| ISBN | 3-642-21732-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465541003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Web Engineering [[electronic resource] ] : 17th International Conference, ICWE 2017, Rome, Italy, June 5-8, 2017, Proceedings / / edited by Jordi Cabot, Roberto De Virgilio, Riccardo Torlone
| Web Engineering [[electronic resource] ] : 17th International Conference, ICWE 2017, Rome, Italy, June 5-8, 2017, Proceedings / / edited by Jordi Cabot, Roberto De Virgilio, Riccardo Torlone |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XV, 619 p. 200 illus.) |
| Disciplina | 004.678 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Application software
Artificial intelligence Software engineering Data mining Information storage and retrieval Information Systems Applications (incl. Internet) Artificial Intelligence Software Engineering Computer Appl. in Administrative Data Processing Data Mining and Knowledge Discovery Information Storage and Retrieval |
| ISBN | 3-319-60131-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466289603316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Web Engineering : 17th International Conference, ICWE 2017, Rome, Italy, June 5-8, 2017, Proceedings / / edited by Jordi Cabot, Roberto De Virgilio, Riccardo Torlone
| Web Engineering : 17th International Conference, ICWE 2017, Rome, Italy, June 5-8, 2017, Proceedings / / edited by Jordi Cabot, Roberto De Virgilio, Riccardo Torlone |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XV, 619 p. 200 illus.) |
| Disciplina | 004.678 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Application software
Artificial intelligence Software engineering Data mining Information storage and retrieval Information Systems Applications (incl. Internet) Artificial Intelligence Software Engineering Computer Appl. in Administrative Data Processing Data Mining and Knowledge Discovery Information Storage and Retrieval |
| ISBN | 3-319-60131-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910484077303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||