ESEC '91
Editat de Axel van Lamsweerde, Alfonso Fuggettaen Limba Engleză Paperback – 9 oct 1991
Preț: 334.04 lei
Preț vechi: 417.55 lei
-20%
Puncte Express: 501
Carte tipărită la comandă
Livrare economică 28 iulie-11 august
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9783540547426
ISBN-10: 3540547428
Pagini: 532
Ilustrații: XII, 520 p.
Dimensiuni: 155 x 235 x 29 mm
Greutate: 0.8 kg
Ediția:1991
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540547428
Pagini: 532
Ilustrații: XII, 520 p.
Dimensiuni: 155 x 235 x 29 mm
Greutate: 0.8 kg
Ediția:1991
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Software configuration management: Past uses and future challenges.- Architectural design for user interfaces.- The Eureka Software Factory: Concepts and accomplishments.- Integrating structured and formal methods: A visual approach to VDM.- Rational design of distributed applications.- Test data selection from algebraic specifications: Application to an automatic subway module.- Specification in COLD-1 of a CAD package for drawing shadow masks.- ASTRAL: An assertion language for specifying realtime systems.- Execution environment for ELECTRE applications.- An engineering approach to hard real-time system design.- An application of artificial intelligence to prototyping process in performance design for real-time systems.- Dynamically Replaceable Software: A design method.- Software merge: Models and methods for combining changes to programs.- A theory for software design extraction.- SESADA: An environment supporting software specialization.- Metric-driven classification analysis.- A dynamic failure model for predicting the impact that a program location has on the program.- Relation between source code metrics and structure analysis metrics.- Algebraic validation of software metrics.- An algebraic view of inheritance and subtyping in object oriented programming.- Scaling up rule-based software development environments.- Inference-based support for programming in the large.- TICKLE: Object-oriented description and composition services for software engineering environments.- Integrated project support environments, text generation and technical writing.- The Arcs experience.- Panel presentation.- The production of software in the FINSIEL group.- The impact of software engineering researches on industrial practice — a personal view.- Impact of methods on productivity &quality.- Requirements engineering — Getting right from wrong.- A (neat) alphabet of requirements engineering issues.- The scruffy side of requirements engineering.- Expediency and appropriate technology: An agenda for requirements engineering research in the 1990s.- CASE support for the software process.- CASE support for the software process: A research viewpoint.- CASE support for large systems.- CASE seen from both sides of the fence.- CASE support for the software process: Advances and problems.