wyszukanych pozycji: 4
Fundamental Approaches to Software Engineering: First International Conference, Fase'98, Held as Part of the Joint European Conferences on Theory and
ISBN: 9783540643036 / Angielski / Miękka / 1998 / 329 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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... This book constitutes the refereed proceedings of the First International Conference on Fundamental Approaches to Software Engineering, FASE'98, held ...
|
|
cena:
192,74 zł |
Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994. Selected Papers
ISBN: 9783540591320 / Angielski / Miękka / 1995 / 532 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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... This volume comprises the invited surveys and revised versions of the submitted papers selected for presentation at the 10th Workshop on Specification...
|
|
cena:
192,74 zł |
Scientific Engineering of Distributed Java Applications.: Third International Workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003, Revised Papers
ISBN: 9783540210917 / Angielski / Miękka / 2004 / 158 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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,...
FIDJI 2003 was an international forum for researchers and practitioners in- rested in the advances in, and applications of, software engineering for d...
|
|
cena:
192,74 zł |
Algebraic Foundations of Systems Specification
ISBN: 9783642641510 / Angielski / Miękka / 2011 / 616 str. Termin realizacji zamówienia: ok. 20 dni roboczych. The aim of software engineering is the provision and investigation of methods for the development of software systems of high quality with correctness as a key issue. A system is called correct if it does what one wants, if it meets the requirements. To achieve and to guarantee correct systems, the need of formal methods with rigorous semantics and the possibility of verification is widely accepted. Algebraic specification is a software engineering approach of this perspective. When Liskov and Zilles, Guttag and the ADJ-group with Goguen, Thatch er, Wagner and Wright introduced the basic...
The aim of software engineering is the provision and investigation of methods for the development of software systems of high quality with correctness...
|
|
cena:
192,74 zł |