Embedded Software
Embedded Software

Author: Rajeev Alur

Publisher: Springer Science & Business Media

Published: 2003-09-29

Total Pages: 382

ISBN-13: 3540202234

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the Third International Conference on Embedded Software, EMSOFT 2003, held in Philadelphia, PA, USA in October 2003. The 20 revised full papers presented together with three invited papers were carefully reviewed and selected from 60 submissions. All current topics in embedded software are addressed: formal methods and model-based development, middleware and fault tolerance, modelling and analysis, programming languages and compilers, real-time scheduling, resource-aware systems, and systems on a chip.

ECOOP - Object-Oriented Programming
ECOOP - Object-Oriented Programming

Author: Erik Ernst

Publisher: Springer

Published: 2007-08-13

Total Pages: 637

ISBN-13: 3540735895

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 21st European Conference on Object-Oriented Programming, ECOOP 2007, held in Berlin, Germany in July/August 2007. The 25 revised full papers, presented together with 3 invited talks were carefully reviewed and selected from a total of 135 final submissions. The papers are organized in topical sections on types, runtime implementation, empirical studies, programs and predicates, language design, inheritance and derivation, aspects, as well as language about language.

UML'99 - The Unified Modeling Language: Beyond the Standard
UML'99 - The Unified Modeling Language: Beyond the Standard

Author: Robert B. France

Publisher: Springer

Published: 2003-07-31

Total Pages: 739

ISBN-13: 3540468528

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the Second International Conference on the Unified Modeling Language, UML'99, held in Fort Collins, CO, USA in September 1999. The 44 revised full papers presented together with two invited contributions and three panel summaries were carefully reviewed and selected from a total of 166 submissions. The papers are organized in topical sections on software architecture, UML and other notations, formalizing interactions, meta modeling, tools, components, UML extension mechanisms, process modeling, real-time systems, constraint languages, analyzing UML models, precise behavioral modeling, applying UML sequence design, and coding.