Towards a Synergistic Combination of Research and Practice in Software Engineering
Towards a Synergistic Combination of Research and Practice in Software Engineering
edited by Piotr Kosiuczenko, Lech Madeyski.
- 1 recurso en línea (VIII, 221 páginas 61 ilustraciones)
- Studies in Computational Intelligence 733 1860-949X Engineering (Springer-11647) .
Temporal Costs of Computing Unit Redundancy in Steady and Transient State -- SIPE: A Domain-Specific Language for Specifying Interactive Programming Exercises -- Managing Software Complexity by Exploiting Software Similarity Patterns -- A Prototype Tool for Semantic Validation of UML class Diagrams with the Use of Domain Ontologies Expressed in OWL 2 -- Ensuring the Strong Exception Safety -- Efficient Testing of Time-dependent, Asynchronous Code.
This book reports on recent advances in software engineering research and practice. Divided into 15 chapters, it addresses: languages and tools; development processes; modelling, simulation and verification; and education. In the first category, the book includes chapters on domain-specific languages, software complexity, testing and tools. In the second, it reports on test-driven development, processing of business rules, and software management. In turn, subsequent chapters address modelling, simulation and verification of real-time systems, mobile systems and computer networks, and a scrum-based framework. The book was written by researchers and practitioners, the goal being to achieve a synergistic combination of research results achieved in academia and best practices used in the industry, and to provide a valuable reference guide for both groups.
9783319652085
10.1007/978-3-319-65208-5 doi
Inteligencia artificial
Q342 / .T693 2018 EB
Temporal Costs of Computing Unit Redundancy in Steady and Transient State -- SIPE: A Domain-Specific Language for Specifying Interactive Programming Exercises -- Managing Software Complexity by Exploiting Software Similarity Patterns -- A Prototype Tool for Semantic Validation of UML class Diagrams with the Use of Domain Ontologies Expressed in OWL 2 -- Ensuring the Strong Exception Safety -- Efficient Testing of Time-dependent, Asynchronous Code.
This book reports on recent advances in software engineering research and practice. Divided into 15 chapters, it addresses: languages and tools; development processes; modelling, simulation and verification; and education. In the first category, the book includes chapters on domain-specific languages, software complexity, testing and tools. In the second, it reports on test-driven development, processing of business rules, and software management. In turn, subsequent chapters address modelling, simulation and verification of real-time systems, mobile systems and computer networks, and a scrum-based framework. The book was written by researchers and practitioners, the goal being to achieve a synergistic combination of research results achieved in academia and best practices used in the industry, and to provide a valuable reference guide for both groups.
9783319652085
10.1007/978-3-319-65208-5 doi
Inteligencia artificial
Q342 / .T693 2018 EB