|
Showing 1 - 6 of
6 matches in All Departments
Updated to cover UML 2.0, this student textbook provides a
practical understanding of software design and development using
UML. Case studies are used to illustrate good practice.
Bidirectional transformations (BX) are means of maintaining
consistency between multiple information sources: when one source
is edited, the others may need updating to restore consistency. BX
have applications in databases, user interface design, model-driven
development, and many other domains. This volume represents the
lecture notes from the Summer School on Bidirectional
Transformations, held in Oxford, UK, in July 2016. The school was
one of the final activities on the project "A Theory of Least
Change for Bidirectional Transformations", running at the
University of Oxford and the University of Edinburgh from 2013 to
2017 and funded by the UK Engineering and Physical Sciences
Research Council. The five chapters included in this volume are a
record of most of the material presented at the summer school.
After a comprehensive introduction to bidirectional
transformations, they deal with triple graph grammars, modular edit
lenses, putback-based bidirectional programming, and engineering of
bidirectional transformations.
|
Formal Methods for Open Object-Based Distributed Systems - 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings (Paperback, 2003 ed.)
Elie Najm, Uwe Nestmann, Perdita Stevens
|
R1,717
Discovery Miles 17 170
|
Ships in 10 - 15 working days
|
This volume contains the proceedings of FMOODS 2003, the 6th IFIP
WG 6. 1 International Conference on Formal Methods for Open
Object-Based Distributed Systems. The conference was held in Paris,
France on November 19-21, 2003. The event was the sixth meeting of
this conference series, which is held roughly every year and a
half, the earlier events having been held in Paris, Canterbury,
Florence, Stanford, and Twente.
ThegoaloftheFMOODSseriesofconferencesistobringtogetherresearchers
whose work encompasses three important and related ?elds: - formal
methods; - distributed systems; - object-based technology. Such a
convergence is representative of recent advances in the ?eld of
distributed systems,
andprovideslinksbetweenseveralscienti?candtechnologicalcommu- ties,
as represented by the conferences FORTE/PSTV, CONCUR, and ECOOP.
The objective of FMOODS is to provide an integrated forum for the
p- sentation of research in the above-mentioned ?elds, and the
exchange of ideas and experiences in the topics concerned with the
formal methods support for open object-based distributed systems.
For the call for papers, aspects of int- est of the considered
systems included, but were not limited to: formal models; formal
techniques for speci?cation, design or analysis; component-based
design; veri?cation, testing and validation; semantics of
programming, coordination, or modeling languages; type systems for
programming, coordination or modelling languages; behavioral
typing; multiple viewpoint modelling and consistency - tween
di?erent models; transformations of models; integration of quality
of s- vice requirements into formal models; formal models for
security; and appli- tions and experience, carefully described
|
UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications - 6th International Conference San Francisco, CA, USA, October 20-24, 2003, Proceedings (Paperback, 2003 ed.)
Perdita Stevens, Jon Whittle, Grady Booch
|
R1,770
Discovery Miles 17 700
|
Ships in 10 - 15 working days
|
Thepastyearhasbeenaneventfuloneforthoseinterestedinsoftwaremodeling.
The ?rst major revision of the Uni?ed Modeling Language, UML2.0, is
in the process of adoption by the Object Management Group (OMG),
and it makes many long-desired additions and improvements to UML.
At the same time, it expands what was already a large language. A
challenge for both practitioners
andresearchersistohelpsmooththeadoptionofthisnewlanguage.Increasingly,
attention is being paid to the use of specialized languages, often
pro?les of UML, appropriate for di?erent purposes; this is one way
to make UML less overwh- ming. Accordingly, the focus of the UML
conference is gradually expanding from UML to software modeling in
general. Simultaneously, model-driven development is being pursued
as a way of - creasing the bene?ts from modeling throughout the
software development p- cess. Gradually, it is developing from a
set of slogans into a reality. Many of the papers in this volume
are concerned, directly or indirectly, with how to make modeling,
rather than coding, the heart of software development, and how to
realize the resulting bene?ts of higher-level thinking. Much work
remains to be done.
|
Tools and Algorithms for the Construction and Analysis of Systems - 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings (Paperback, 2002 ed.)
Joost-Pieter Katoen, Perdita Stevens
|
R1,809
Discovery Miles 18 090
|
Ships in 10 - 15 working days
|
This book constitutes the refereed proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2002, held in Grenoble, France, in April 2002.The 29 revised full papers presented together with one invited paper and four tool papers were carefully reviewed and selected from 95 submissions. The papers are organized in topical sections on real-time and probabilistic systems, scheduling, miscellaneous, software verification, infinite-state and parametric systems, model checking: logics and algorithms, model checking and testing, partial-order and simulation techniques, and debugging with model checking.
|
Fundamental Approaches to Software Engineering - 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings (Paperback, 1st ed. 2016)
Perdita Stevens, Andrzej Wasowski
|
R2,924
Discovery Miles 29 240
|
Ships in 10 - 15 working days
|
This book constitutes the proceedings of the 19th International
Conference on Fundamental Approaches to Software Engineering, FASE
2016, which took place in Eindhoven, The Netherlands, in April
2016, held as Part of the European Joint Conferences on Theory and
Practice of Software, ETAPS 2016. The 23 full papers presented in
this volume were carefully reviewed and selected from 90
submissions. They were organized in topical sections named:
concurrent and distributed systems; model-driven development;
analysis and bug triaging; probabilistic and stochastic systems;
proof and theorem proving; and verification.
|
|