ESEC '89: 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September 11-15, 1989. Proceedings: Lecture Notes in Computer Science, cartea 387
Editat de Carlo Ghezzi, John A. McDermiden Limba Engleză Paperback – 30 aug 1989
Din seria Lecture Notes in Computer Science
- 20%
Preț: 323.37 lei - 20%
Preț: 461.65 lei - 20%
Preț: 461.32 lei - 20%
Preț: 390.69 lei - 20%
Preț: 527.36 lei - 15%
Preț: 388.50 lei - 20%
Preț: 461.52 lei - 20%
Preț: 390.35 lei - 20%
Preț: 496.64 lei - 20%
Preț: 461.52 lei - 20%
Preț: 389.72 lei - 15%
Preț: 461.85 lei - 20%
Preț: 389.90 lei - 20%
Preț: 497.04 lei - 20%
Preț: 462.05 lei - 20%
Preț: 252.15 lei - 20%
Preț: 391.14 lei - 20%
Preț: 532.54 lei - 20%
Preț: 461.83 lei - 20%
Preț: 255.91 lei - 20%
Preț: 498.46 lei - 20%
Preț: 497.55 lei - 20%
Preț: 499.36 lei - 20%
Preț: 390.12 lei - 20%
Preț: 391.20 lei - 20%
Preț: 532.41 lei - 20%
Preț: 391.20 lei - 20%
Preț: 391.14 lei - 20%
Preț: 461.77 lei - 20%
Preț: 390.35 lei - 20%
Preț: 461.06 lei - 20%
Preț: 461.65 lei - 20%
Preț: 390.18 lei - 20%
Preț: 392.64 lei - 20%
Preț: 390.94 lei - 20%
Preț: 391.86 lei - 20%
Preț: 389.85 lei - 20%
Preț: 498.32 lei - 20%
Preț: 462.67 lei - 20%
Preț: 460.98 lei - 20%
Preț: 424.26 lei - 20%
Preț: 639.72 lei - 15%
Preț: 535.92 lei - 20%
Preț: 532.28 lei - 20%
Preț: 535.77 lei - 5%
Preț: 516.27 lei - 20%
Preț: 461.57 lei - 20%
Preț: 498.50 lei - 20%
Preț: 461.83 lei - 20%
Preț: 249.95 lei
Preț: 329.74 lei
Preț vechi: 412.17 lei
-20% Nou
Puncte Express: 495
Preț estimativ în valută:
58.35€ • 68.42$ • 51.24£
58.35€ • 68.42$ • 51.24£
Carte tipărită la comandă
Livrare economică 05-19 februarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540516354
ISBN-10: 3540516352
Pagini: 508
Ilustrații: VIII, 500 p.
Dimensiuni: 155 x 235 x 27 mm
Greutate: 0.7 kg
Ediția:1989
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540516352
Pagini: 508
Ilustrații: VIII, 500 p.
Dimensiuni: 155 x 235 x 27 mm
Greutate: 0.7 kg
Ediția:1989
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Software risk management.- MENU - an example for the systematic reuse of specifications.- Asking for the impossible: The state of the art in safety-related systems.- STEPS to software development with users.- The role of measurement in ISEEs.- An empirical and theoretical analysis of an information flow-based system design metric.- Systematic development of formal software process models.- Software process machines: A framework for future software development environments.- Practical experience of formal specification: A programming interface for communications.- Industrialising formal methods for telecommunications.- An application of the event calculus for representing the history of a software project.- Change oriented versioning.- Software change dynamics or half of all Ada compilations are redundant.- Version management in the PACT integrated software engineering environment.- Software engineering implications for formal refinement.- A rigorous development strategy using the OBJ specification language and the MALPAS program analysis tools.- Formal specification using structured systems analysis.- Tool integration in an open environment.- HCDM/GSDS — A design environment for real-time software with automatic program generation.- Graph grammars, a new paradigm for implementing visual languages.- Structural modelling of Prolog for metrication.- Rule-based handling of software quality and productivity models.- An object-oriented approach to the system analysis.- A pluralistic knowledge-based approach to software specification.- PROTOB a hierarchical object-oriented CASE tool for distributed systems.- The internet worm incident.- Validation of concurrent Ada™ programs using symbolic execution.- Assay-a tool to support regression testing.