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ț: 1020.28 lei -
Preț: 395.25 lei - 20%
Preț: 327.36 lei - 20%
Preț: 984.64 lei - 20%
Preț: 400.77 lei - 20%
Preț: 328.94 lei - 20%
Preț: 340.04 lei - 20%
Preț: 487.46 lei - 20%
Preț: 629.71 lei - 20%
Preț: 386.08 lei - 20%
Preț: 489.11 lei - 20%
Preț: 556.96 lei - 20%
Preț: 560.93 lei - 15%
Preț: 558.12 lei - 20%
Preț: 782.57 lei - 20%
Preț: 679.09 lei - 20%
Preț: 330.54 lei - 20%
Preț: 733.68 lei - 20%
Preț: 435.28 lei - 20%
Preț: 375.72 lei - 20%
Preț: 342.61 lei - 20%
Preț: 432.78 lei - 20%
Preț: 904.16 lei - 20%
Preț: 1391.87 lei - 20%
Preț: 373.80 lei - 20%
Preț: 400.17 lei - 20%
Preț: 478.59 lei - 20%
Preț: 1359.66 lei - 20%
Preț: 620.33 lei - 20%
Preț: 731.97 lei - 20%
Preț: 733.68 lei - 20%
Preț: 1033.45 lei - 20%
Preț: 403.00 lei - 20%
Preț: 563.29 lei - 20%
Preț: 324.19 lei - 20%
Preț: 793.92 lei - 20%
Preț: 336.86 lei - 20%
Preț: 327.36 lei - 20%
Preț: 573.45 lei - 20%
Preț: 1137.10 lei - 20%
Preț: 850.42 lei - 20%
Preț: 560.93 lei - 20%
Preț: 558.53 lei - 20%
Preț: 631.96 lei - 20%
Preț: 568.70 lei - 20%
Preț: 488.90 lei - 20%
Preț: 293.24 lei
Preț: 329.74 lei
Preț vechi: 412.17 lei
-20%
Puncte Express: 495
Preț estimativ în valută:
58.32€ • 67.39$ • 50.33£
58.32€ • 67.39$ • 50.33£
Carte tipărită la comandă
Livrare economică 25 aprilie-09 mai
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.