|
Showing 1 - 6 of
6 matches in All Departments
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.
|
Scientific Engineering of Distributed Java Applications. - Third International Workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003, Revised Papers (Paperback, 2004 ed.)
Nicoals Guelfi, Egidio Astesiano, Gianna Reggio
|
R1,488
Discovery Miles 14 880
|
Ships in 10 - 15 working days
|
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.
|
Scientific Engineering for Distributed Java Applications - International Workshop, FIDJI 2002, Luxembourg, Luxembourg, November 28-29, 2002, Revised Papers (Paperback, 2003 ed.)
Nicolas Guelfi, Egidio Astesiano, Gianna Reggio
|
R1,517
Discovery Miles 15 170
|
Ships in 10 - 15 working days
|
This book constitutes the thoroughly refereed postproceedings of the International Workshop on Scientific Engineering for Distributed Java Applications, FIDJI 2002, held in Luxembourg-Kirchberg, Luxembourg in November 2002. The 16 revised full papers presented together with a keynote paper and 3 abstracts were carefully selected from 33 submissions during two rounds of reviewing and improvement. Among the topics addressed are Java coordination, Web service architectures, transaction models, CORBA-based distributed systems, mobile objects, Java group toolkits, distributed process management systems, active objects in J2EE, Java frameworks, Jini, component-based distributed applications, Java middleware, fault-tolerant mobile systems.
|
Fundamental Approaches to Software Engineering - First International Conference, FASE'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings (Paperback, 1998 ed.)
Egidio Astesiano
|
R1,594
Discovery Miles 15 940
|
Ships in 10 - 15 working days
|
This book constitutes the refereed proceedings of the First
International Conference on Fundamental Approaches to Software
Engineering, FASE'98, held as part of the Joint European
Conferences on Theory and Practice of Software, ETAPS'98, held in
Lisbon, Portugal, in March/April 1998.
Besides two invited presentations and three system demonstrations,
this volume presents 18 revised full papers selected from a total
of 59 submissions. Among the various fundamental software
engineering issues addressed are formal methods, specification
languages, refinement, object-oriented modeling, software
architectures, statecharts, model checking, etc.
This volume comprises the invited surveys and revised versions of
the submitted papers selected for presentation at the 10th Workshop
on Specification of Abstract Data Types, held jointly with the 4th
COMPASS Workshop in S. Margherita, Italy in June 1994.
The volume gives a comprehensive state-of-the-art report of the
research activities: besides classical algebraic techniques, other
relevant topics are investigated, such as formalisms based on
general logics and category theory, type systems for specification
languages and new structures for modelling dynamic systems. In
addition to four surveys by prominent leaders in the area and 23
papers presenting original research, the book contains an annotated
bibliography covering all contributions to the ten editions of the
workshop.
|
|