Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Object-Oriented Technology. ECOOP 2004 Workshop Reader: ECOOP 2004 Workshop, Oslo, Norway, June 14-18, 2004, Final Reports > Formal Techniques for Java-Like Programs (FTfJP)
Object-Oriented Technology. ECOOP 2004 Workshop Reader: ECOOP 2004 Workshop, Oslo, Norway, June 14-18, 2004, Final Reports |
Jacques Malenfant; Bjarte M. Østvold
Springer Berlin Heidelberg
Object-Oriented Technology. ECOOP 2004 Workshop Reader: ECOOP 2004 Workshop, Oslo, Norway, June 14-18, 2004, Final Reports
Formal Techniques for Java-Like Programs (FTfJP)
Authors

Alessandro Coglio; Marieke Huisman; Joseph R. Kiniry; Peter Müller; Erik Poll

ARI Id

1664840938727_3737248

Access

Not Available Free

Pages

76-83

DOI

10.1007/978-3-540-30554-5_8

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-540-30554-5_8

Table of Contents of Book
Showing 1 to 20 of 21 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
Object Orientation and Web Services
Christian Zirpins; Giacomo Piccinelli; Winfried Lamersdorf; Anthony Finkelstein
1-9
Practical Problems of Programming in the Large (PPPL)
Ralf Reussner; Wolfgang Weck
10-22
8th Workshop on Quantitative Approaches in Object-Oriented Software Engineering (QAOOSE 2004)
Coral Calero; Fernando Brito e Abreu; Geert Poels; Houari A. Sahraoui
23-35
Eighth Workshop on Pedagogies and Tools for the Teaching and Learning of Object Oriented Concepts
Jürgen Börstler; Isabel Michiels; Annita Fjuk
36-48
2nd Workshop on Object-Oriented Language Engineering for the Post-Java Era: Back to Dynamicity
Sebastián González; Wolfgang De Meuter; Pascal Costanza; Stéphane Ducasse; Richard Gabriel; Theo D’Hondt
49-61
Philosophy, Ontology, and Information Systems
Petra Becker-Pechau; Pierre Grenon; Mark Lycett; Chris Partridge; Jörg Pechau; Dirk Siebert
62-66
Communication Abstractions for Distributed Systems
Antoine Beugnard; Ludger Fiege; Robert Filman; Eric Jul; Salah Sadou; Eiko Yoneki
67-75
Formal Techniques for Java-Like Programs (FTfJP)
Alessandro Coglio; Marieke Huisman; Joseph R. Kiniry; Peter Müller; Erik Poll
76-83
Component-Oriented Approaches to Context-Aware Computing
Simon Dobson
84-93
The Combined 14th Workshop for PhD Students in Object-Oriented Systems and Doctoral Symposium
Susanne Jucknath; Jan Wloka; Eric Jul; Sari R. Eldadah; Ademar Aguiar
94-100
MASPEGHI 2004 Mechanisms for Speialization, Generalization and Inheritance
Ph. Lahire; G. Arévalo; H. Astudillo; A. P. Black; E. Ernst; M. Huchard et al.
101-117
Software Evolution: A Trip Through Reflective, Aspect, and Meta-data Oriented Techniques
Walter Cazzola; Shigeru Chiba; Gunter Saake
118-132
Coordination and Adaptation Techniques for Software Entities
Carlos Canal; Juan Manuel Murillo; Pascal Poizat
133-147
Model-Driven Development (WMDD 2004)
Jan Øyvind Aagedal; Jean Bézivin; Peter F. Linington
148-157
Component-Oriented Programming(WCOP 2004)
Jan Bosch; Clemens Szyperski; Wolfgang Weck
158-168
10th Workshop on Mobile Object Systems
Ciarán Bryce; Crzegorz Czajkowski
169-176
Fifth International Workshop on Object-Oriented Reengineering
Roel Wuyts; Stéphane Ducasse; Serge Demeyer; Kim Mens
177-186
Evolution and Reuse of Language Specifications for DSLs (ERLS)
Thomas Cleenewerck; Krzysztof Czarnecki; Jörg Striegnitz; Markus Völter
187-201
Programming Languages and Operating Systems
Olaf Spinczyk; Michael Schoettner; Andreas Gal
202-213
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 21 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings