Tools

LEADER 03691cam 2200361 a 4500

001 ocm38550678;

003 OCoLC;

005 20141212130711.0;

008 980227s1998 gw a b 101 0 eng ;

010 a| 98014854;

020 a| 3540643036;

035 a| (Sirsi) o38550678;

035 a| (OCoLC)38550678;

049 a| EREE;

050 00 a| QA76.758b| .F37 1998;

082 00 a| 005.12| 21;

111 2 a| European Joint Conference on Theory and Practice of Software Developmentn| (1st :d| 1998 :c| Lisbon, Portugal).e| FASE '98.?| UNAUTHORIZED;

245 10 a| Fundamental approaches to software engineering :b| first international conference, FASE '98 held as part of the joint European Conferences on Theory and Practics of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings /c| Egidio Astesiano, ed.;

300 a| xii, 329 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 1382;

504 a| Includes bibliographical references and index.;

505 0 a| Extreme programming : a humanistic discipline of software development / K. Beck -- Some mistakes I have made and what I have learned from them / C.B. Jones -- Specifying and analyzing dynamic software architectures / R. Allen, R. Douence, D. Garlan -- Observational proofs with critical contexts / N. Berregeb, A. Bouhoula, M. Rusinowitch -- Integrating AORTA with model-based data specification languages / S. Bradley ... [et al.] -- Specifying safety-critical embedded systems with statecharts and Z : a case study / R. Büssow, R. Geisler, M. Klar -- Specifying embedded systems with statecharts and Z : an agenda for cyclic software components / W. Grieskamp, M. Heisel, H. Doerr -- Algebra transformation systems and their composition / M. Grosse-Rhode -- Navigation expressions in object-oriented modelling / A. Hamie, J. Howse, S. Kent -- Compositional verfication of reactive systems specified by graph transformation / R. Heckel -- Reflections on the design of a specification language / S. Kahrs, D. Sannella -- Constructs, concepts and criteria for reuse in concurrent object-oriented languages / U. Lechner -- Bactracking-free design planning by automatic synthesis in METAframe / T. Margaria, B. Steffen -- Model-checking CSP-Z / A. Mota, A. Sampaio -- Rule-based refinement of high-level nets preserving safety properties / J. Padberg, M. Gajewsky, C. Ermel -- Automated formal analysis of networks : FDR models of arbitray topologies and flow-control mechanisms / J.N. Reed ... [et al.] -- Behaviour analysis and safety conditions : a case study in CML / H. Riis Nielson, T. Amoft, F. Nielson -- Distributed safety controllers for web services / A. Sandholm, M.I. Schwartzbach -- A refinement calculus for statecharts / P. Scholz -- Refining formal specifications of human computer interaction by graph rewrite rules / B.E. Sucrow -- RELVIEW : a system for calculating with relations and relational programming / R. Behnke ... [et al.] -- ALBERT : a formal language and its supporting tools for requirements engineering / E. Dubois -- MOBY/PLC : a design tool for hierarchical real-time automata / J. Tapken.;

650 0 a| Software engineeringv| Congresses.=| ^A224279;

700 1 a| Astesiano, E.q| (Egidio),d| 1939-=| ^A401534;

830 0 a| Lecture notes in computer sciencev| 1382.=| ^A466336;

596 a| 1;

998 a| 641980;

999 a| QA76.758 .F37 1998w| LCc| 1i| 30372010121975d| 2/19/2013f| 2/19/2013g| 2l| JGESm| JOYNERp| $46.75r| Ys| Yt| JGESBKu| 7/27/1998x| BOOKz| JSTACKSo| .STAFF. 0;

Fundamental approaches to software engineering : first international conference, FASE '98 held as part of the joint European Conferences on Theory and Practics of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings / Egidio Astesiano, ed.

Author/creator	European Joint Conference on Theory and Practice of Software Development
Other author	Astesiano, E. (Egidio), 1939-
Format	Book
Publication Info	Berlin ; New York : Springer, ©1998.
Description	xii, 329 pages : illustrations ; 24 cm.
Subjects	Software engineering--Congresses.

Series	Lecture notes in computer science ; 1382 Lecture notes in computer science 1382. ^A466336
Contents	Extreme programming : a humanistic discipline of software development / K. Beck -- Some mistakes I have made and what I have learned from them / C.B. Jones -- Specifying and analyzing dynamic software architectures / R. Allen, R. Douence, D. Garlan -- Observational proofs with critical contexts / N. Berregeb, A. Bouhoula, M. Rusinowitch -- Integrating AORTA with model-based data specification languages / S. Bradley ... [et al.] -- Specifying safety-critical embedded systems with statecharts and Z : a case study / R. Büssow, R. Geisler, M. Klar -- Specifying embedded systems with statecharts and Z : an agenda for cyclic software components / W. Grieskamp, M. Heisel, H. Doerr -- Algebra transformation systems and their composition / M. Grosse-Rhode -- Navigation expressions in object-oriented modelling / A. Hamie, J. Howse, S. Kent -- Compositional verfication of reactive systems specified by graph transformation / R. Heckel -- Reflections on the design of a specification language / S. Kahrs, D. Sannella -- Constructs, concepts and criteria for reuse in concurrent object-oriented languages / U. Lechner -- Bactracking-free design planning by automatic synthesis in METAframe / T. Margaria, B. Steffen -- Model-checking CSP-Z / A. Mota, A. Sampaio -- Rule-based refinement of high-level nets preserving safety properties / J. Padberg, M. Gajewsky, C. Ermel -- Automated formal analysis of networks : FDR models of arbitray topologies and flow-control mechanisms / J.N. Reed ... [et al.] -- Behaviour analysis and safety conditions : a case study in CML / H. Riis Nielson, T. Amoft, F. Nielson -- Distributed safety controllers for web services / A. Sandholm, M.I. Schwartzbach -- A refinement calculus for statecharts / P. Scholz -- Refining formal specifications of human computer interaction by graph rewrite rules / B.E. Sucrow -- RELVIEW : a system for calculating with relations and relational programming / R. Behnke ... [et al.] -- ALBERT : a formal language and its supporting tools for requirements engineering / E. Dubois -- MOBY/PLC : a design tool for hierarchical real-time automata / J. Tapken.
Bibliography note	Includes bibliographical references and index.
LCCN	98014854
ISBN	3540643036

Fundamental approaches to software engineering : first international conference, FASE '98 held as part of the joint European Conferences on Theory and Practics of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings / Egidio Astesiano, ed.

Click here for more information about this title