Autore	Combemale Benoit
Pubbl/distr/stampa	Boca Raton : , : Taylor & Francis, CRC Press, , [2017]
Descrizione fisica	1 online resource (403 pages) : illustrations
Disciplina	620.00113513
Collana	Chapman & Hall/CRC Innovations in Software Engineering and Software Development
Soggetto topico	Engineering - Data processing Modeling languages (Computer science) Computer software - Development Computer simulation
Soggetto genere / forma	Electronic books.
ISBN	1-315-38792-1 1-315-38794-8 1-4665-8373-8
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Chapter 1. What's a model? -- Chapter 2. What's a modeling language? -- Chapter 3. Metamodeling with MOF and Ecore -- Chapter 4. Metamodeling with OCL -- Chapter 5. Building editors and viewers -- Chapter 6. Model transformation : from contemplative to productive models -- Chapter 7. Interpreter -- Chapter 8. Refactoring and refinement -- Chapter 9. Generators -- Chapter 10. Variability management -- Chapter 11. Scaling up modeling -- Chapter 12. Wrapup : metamodeling process -- Chapter 13. Language engineering : the logo example -- Chapter 14. Model-driven engineering of a role-playing game -- Chapter 15. Civil/construction engineering : the BIM example.
Record Nr.	UNINA-9910151566603321

Autore	Felderer Michael
Edizione	[1st ed. 2020.]
Pubbl/distr/stampa	Springer Nature, 2020
Descrizione fisica	1 online resource (V, 140 p. 58 illus., 6 illus. in color.)
Disciplina	005.1
Soggetto topico	Software engineering Management information systems Computer science Software Engineering Software Management Management of Computing and Information Systems
Soggetto non controllato	Software Engineering Software Management Management of Computing and Information Systems IT in Business IT Operations Software Development Requirements Engineering Software Modeling Software Research Open Access Ernst Denert Award Business mathematics & systems Business applications Information architecture Maintenance & repairs
ISBN	3-030-58617-0
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Ernst Denert Software Engineering Awards 2019 -- Software Engineering -- Applications of Synchronized Pushdown Systems -- Software Developers’ Work Habits and Expertise: Empirical Studies on Sketching, Code Plagiarism, and Expertise Development -- Applied Artifact-Based Analysis for Architecture Consistency Checking -- Same but Different: Consistently Developing and Evolving Software Architecture Models and Their Implementation -- Actionable Program Analyses for Improving Software Performance.
Record Nr.	UNINA-9910427735603321

Autore	Bodden Eric
Edizione	[1st ed. 2024.]
Pubbl/distr/stampa	Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024
Descrizione fisica	1 online resource (178 pages)
Disciplina	005.1
Altri autori (Persone)	FeldererMichael HasselbringWilhelm HerberPaula KoziolekHeiko LilienthalCarola MatthesFlorian PrecheltLutz RumpeBernhard SchaeferIna
Soggetto topico	Software engineering Software engineering - Management Software Engineering Software Management
ISBN	3-031-44412-4
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	1. Ernst Denert Software Engineering Award 2022 -- 2. Conditional Statements in Requirements Artifacts: Logical Interpretation, Use Cases for Automated Software Engineering, and Fine-Grained Extraction -- 3. From Design to Reality: An Overview of the MontiThings Ecosystem for Model-Driven IoT Applications -- 4. Security Compliance in Model-driven Development of Software Systems in Presence of Long-Term Evolution and Variants (Summary) -- 5. Model-Driven Engineering of Microservice Architectures—The LEMMA Approach -- 6. Usefulness of Automatic Static Analysis Tools: Evidence from Four Case Studies.
Record Nr.	UNINA-9910845076203321

Edizione	[1st ed. 2015.]
Pubbl/distr/stampa	Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015
Descrizione fisica	1 online resource (XV, 89 p. 17 illus.)
Disciplina	005.11
Collana	Programming and Software Engineering
Soggetto topico	Software engineering Computer programming Programming languages (Electronic computers) Computer communication systems Computer logic Management information systems Computer science Software Engineering Programming Techniques Programming Languages, Compilers, Interpreters Computer Communication Networks Logics and Meanings of Programs Management of Computing and Information Systems
ISBN	3-319-26172-X
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Intro -- Foreword -- Dismantling the "Tower of Babel" -- Preface -- Organization -- Contents -- On the Globalization of Domain-Specific Languages -- 1 Introduction -- 2 Domain-Specific (Modeling) Languages -- 3 A Grand Challenge of the Globalization of DSLs: Looking Ahead -- 4 Motivating Scenarios for the Globalization of DSLs -- References -- Conceptual Model of the Globalization for Domain-Specific Languages -- 1 Towards a Conceptual Model of Globalization -- 2 Basic Terms -- 3 DSL Integration -- 4 Language Components and Interfaces -- 5 Globalization -- 6 Language Relations -- 7 Composition -- 8 Language Coordination -- 9 Language Integration -- 10 Towards the Conceptualisation of the Globalization of DSLs -- References -- Motivating Use Cases for the Globalization of DSLs -- 1 Introduction -- 2 Command and Control Wind Tunnel (C2WT) -- 2.1 Application: Evaluation of Command and Control Architectures in Mission Scenarios -- 2.2 Technical Challenges -- 2.3 Model Integration Challenge -- 2.4 A Model Integration Language Solution for C2WT -- 3 Smart Emergency Response System (SERS) -- 3.1 SERS as a Cyber-Physical System -- 3.2 SERS Design -- 3.3 A Smart Intersection -- 3.4 Formalism Integration -- 4 Research Challenges -- 4.1 Software Engineering Challenges Related to the Formal Foundation of Languages -- 4.2 Challenges Related to the (Re-) Construction of Domain-Specific Concepts -- 4.3 Thoughts on Possible Future Directions to Pursue -- References -- Globalized Domain Specific Language Engineering -- 1 Problem Statement -- 2 Motivating Examples -- 2.1 Complementary City Maps -- 2.2 House Building -- 2.3 The A380 Wiring Issue -- 2.4 Tool Bug Fixes -- 3 Basic Notions of Language Integration -- 3.1 Correspondences by Level -- 3.2 Language Relationships -- 3.3 Frames of Reference -- 4 Approaches to Language Composition. 5 Dimensions for Language and Tool Integration -- 5.1 Referencing/Explicit Frames of Reference (Based on the Same Infrastructure/Meta Meta Model) -- 5.2 Language Embedding -- 5.3 Language Extension (Adding New Language Constructs) -- 5.4 Externally Defined Correspondences (with Associated Constraints and Consistency Checks) -- 5.5 All in One Tool vs. Different Tools -- 5.6 Process Aspects: Maybe We Should Stick with the Same Tool -- 5.7 Tool/IDE Integration (Without Language Integration) -- 5.8 Interactivity: Realtime Sync, File Exchange, Shared DB -- 5.9 Collaborative Modeling -- 6 Language Variants (i.e., Parallel Globalization) -- 6.1 Dialects vs. Related Languages -- 6.2 Variability Management -- 6.3 Challenges in Languages Variability Management -- 7 Language Evolution, Refactoring, Retirement (i.e., Sequential Globalization) -- References -- Domain Globalization: Using Languages to Support Technical and Social Coordination -- 1 Context -- 2 State of Art -- 2.1 Tool Composition Frameworks -- 2.2 Model Composition Frameworks -- 2.3 Language Composition Frameworks -- 3 Open Challenges -- 3.1 Composition of Multiple DSLs -- 3.2 Collaboration in a Globalized Environment -- 4 Conclusion -- References -- Author Index.
Record Nr.	UNINA-9910484507103321

Autore	Böhm Wolfgang (Wolfgang J.)
Edizione	[1st ed. 2021.]
Pubbl/distr/stampa	Springer Nature, 2021
Descrizione fisica	1 online resource (XIII, 404 p. 148 illus., 83 illus. in color.)
Disciplina	005.1
Soggetto topico	Software engineering Management information systems Automotive engineering Special purpose computers Software Engineering Software Management Automotive Engineering Special Purpose and Application-Based Systems
Soggetto non controllato	Software Engineering Software Management Automotive Engineering Special Purpose and Application-Based Systems IT in Business Model-Driven Software Development Requirements Engineering Automotive Software Engineering Embedded Systems Open Access SPES Methodology Simulation Co-Design of Systems Business mathematics & systems Business applications Automotive technology & trades Automotive (motor mechanic) skills Expert systems / knowledge-based systems
ISBN	3-030-62136-7
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	1. Use Cases -- 2. Engineering of Collaborative Embedded Systems -- 3. Architectures for Flexible Collaborative Systems -- 4. Function Modeling for Collaborative Embedded Systems -- 5. Architectures for Dynamically Coupled Systems -- 6. Modeling and Analyzing Context-Sensitive Changes during Runtime -- 7. Handling Uncertainty in Collaborative Embedded Systems Engineering -- 8. Dynamic Safety Certification for Collaborative Embedded Systems at Runtime -- 9. Goal-Based Strategy Exploration -- 10. Creating Trust in Collaborative Embedded Systems -- 11. Language Engineering for Heterogeneous Collaborative Embedded Systems -- 12. Development and Evaluation of Collaborative Systems using Simulation -- 13. Tool Support for Co-Simulation-Based Analysis -- 14. Supporting the Creation of Digital Twins for CESs -- 15. Online Experiment-Driven Learning and Adaption -- 16. Compositional Verification using Model Checking and Theorem Proving -- 17. Artifact-Based Analysis for the Development of Collaborative Embedded Systems -- 18. Variant and Product Line Co-Evolution -- 19. Advanced Systems Engineering.
Record Nr.	UNINA-9910433229903321