|
Showing 1 - 4 of
4 matches in All Departments
This book contains the thoroughly refereed technical papers
presented in six workshops collocated with the International
Conference on Software Technologies: Applications and Foundations,
STAF 2017, held in Marburg, Germany, in July 2017. The 15 full and
22 short papers presented were carefully reviewed and selected from
37 submissions. The events whose papers are included in this volume
are: BigMDE 2017: 5th International Workshop on Scalable Model
Driven Engineering GCM 2017: 8th International Workshop on Graph
Computation Models GRAND 2017: 1st International Workshop on Grand
Challenges in Modeling MORSE 2017: 4th International Workshop on
Model-driven Robot Software Engineering OCL 2017: 17th
International Workshop in OCL and Textual Modeling STAF Projects
Showcase 2017: 3rd event dedicated to international and national
project dissemination and cooperation
|
Tests and Proofs - 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings (Paperback, 2014 ed.)
Martina Seidl, Nikolai Tillmann
|
R2,207
Discovery Miles 22 070
|
Ships in 10 - 15 working days
|
This book constitutes the refereed proceedings of the 8th
International Conference on Tests and Proofs, TAP 2014, held in
York, UK, in July 2014, as part of the STAF 2014 Federated
Conferences. The 10 revised full papers and 4 short papers
presented together with two tutorial descriptions were carefully
reviewed and selected from 27 submissions. The papers cover topics
in the following four research areas: test generation, bridging
semantic gaps, integrated development processes and bounded
verification.
This textbook mainly addresses beginners and readers with a basic
knowledge of object-oriented programming languages like Java or C#,
but with little or no modeling or software engineering experience -
thus reflecting the majority of students in introductory courses at
universities. Using UML, it introduces basic modeling concepts in a
highly precise manner, while refraining from the interpretation of
rare special cases. After a brief explanation of why modeling is an
indispensable part of software development, the authors introduce
the individual diagram types of UML (the class and object diagram,
the sequence diagram, the state machine diagram, the activity
diagram, and the use case diagram), as well as their
interrelationships, in a step-by-step manner. The topics covered
include not only the syntax and the semantics of the individual
language elements, but also pragmatic aspects, i.e., how to use
them wisely at various stages in the software development process.
To this end, the work is complemented with examples that were
carefully selected for their educational and illustrative value.
Overall, the book provides a solid foundation and deeper
understanding of the most important object-oriented modeling
concepts and their application in software development. An
additional website offers a complete set of slides to aid in
teaching the contents of the book, exercises and further e-learning
material.
This book constitutes the proceedings of the 23rd International
Conference on Theory and Applications of Satisfiability Testing,
SAT 2020, which was planned to take place in Alghero, Italy, during
July 5-9, 2020. Due to the coronavirus COVID-19 pandemic, the
conference was held virtually. The 25 full, 9 short, and 2 tool
papers presented in this volume were carefully reviewed and
selected from 69 submissions. They deal with SAT interpreted in a
broad sense, including theoretical advances (such as exact
algorithms, proof complexity, and other complexity issues),
practical search algorithms, knowledge compilation,
implementation-level details of SAT solvers and SAT-based systems,
problem encodings and reformulations, applications (including both
novel application domains and improvements to existing approaches),
as well as case studies and reports on findings based on rigorous
experimentation.
|
|