Egidio Astesiano

Gianna Reggio

Nicoals Guelfi

FIDJI 2003 was an international forum for researchers and practitioners in- rested in the advances in, and applications of, software engineering for distri- ted applicationdevelopment. Concerningthe technologies,the workshopfocused on “Java-related” technologies. It was an opportunity to present and observe the latest research, results, and ideas in these areas. Allpaperssubmittedtothisworkshopwerereviewedbyatleasttwomembers of the International Program Committee. Acceptance was based primarily on originality and contribution. We selected, for these post-workshop proceedings, 14 papers, amongst 29 submitted, two tutorials, and one keynote talk. FIDJI2003aimedatpromotingascienti?capproachtosoftwareengineering. The scope of the workshop included the following topics: – design of distributed Java applications – Java-related technologies – software and system architecture engineering and development methodo- gies – development methodologies for UML – development methodologies for reliable distributed systems – component-based development methodologies – managementofevolutions/iterationsintheanalysis,design,implementation, and test phases – dependability support during system life-cycles – managing inconsistencies during application development – atomicity and exception handling in system development – software architectures, frameworks, and design patterns for developing d- tributed systems – integration of formal techniques in the development process – formal analysis and grounding of modeling notation and techniques (e. g. , UML, metamodeling) – supporting the security requirements of distributed applications in the - velopment process – refactoring methods – industrial and academic case studies – development and analysis tools The organization of such a workshop represents an important amount of work.

Third International Workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003, Revised Papers

Scientific Engineering of Distributed Java Applications.

Hans-Jörg Kreowski

Bernd Krieg-Brückner

This IFIP report is a collection of fundamental, high-quality contributions on the algebraic foundations of system specification. The contributions cover and survey active topics and recent advances, and address such subjects as: the role of formal specification, algebraic preliminaries, partiality, institutions, specification semantics, structuring, refinement, specification languages, term rewriting, deduction and proof systems, object specification, concurrency, and the development process. The authors are well-known experts in the field, and the book is the result of IFIP WG 1.3 in cooperation with Esprit Basic Research WG COMPASS, and provides the foundations of the algebraic specification language CASL designed in the CoFI project. For students, researchers, and system developers.

Egidio Astesiano

Books

Your next favorite book is out there