
ESEC '91
3rd European Software Engineering Conference, ESEC '91, Milan, Italy, October 21-24, 1991. Proceedings
Series: Lecture Notes in Computer Science; 550;
- Publisher's listprice EUR 53.49
-
The price is estimated because at the time of ordering we do not know what conversion rates will apply to HUF / product currency when the book arrives. In case HUF is weaker, the price increases slightly, in case HUF is stronger, the price goes lower slightly.
- Discount 20% (cc. 4 538 Ft off)
- Discounted price 18 152 Ft (17 287 Ft + 5% VAT)
22 690 Ft
Availability
Estimated delivery time: In stock at the publisher, but not at Prospero's office. Delivery time approx. 3-5 weeks.
Not in stock at Prospero.
Why don't you give exact delivery time?
Delivery time is estimated on our previous experiences. We give estimations only, because we order from outside Hungary, and the delivery time mainly depends on how quickly the publisher supplies the book. Faster or slower deliveries both happen, but we do our best to supply as quickly as possible.
Product details:
- Edition number 1991
- Publisher Springer
- Date of Publication 9 October 1991
- Number of Volumes 1 pieces, Book
- ISBN 9783540547426
- Binding Paperback
- No. of pages520 pages
- Size 233x155 mm
- Weight 1640 g
- Language English
- Illustrations XII, 520 p. 0
Categories
Short description:
This volume presents the proceedings of the Third European Software Engineering Conference. Themes include formal methods and practical experiences with them, special techniques for real-time systems, software evolution and re-engineering, software engineering environments, and software metrics.
MoreLong description:
The third European Software Engineering Conference follows
ESEC'87 and ESEC'89. This series of conferences was set up
by the European societies with the aim of providing an
international forum for researchers, developersand users of
software engineering technology. The need for a meeting
point to discuss new results and useful experiences was
clear from the large amount of high-quality European
software engineering researchin recent years, stimulated,
for example, through major European research programmes. The
22 papers in these proceedings were selected from 133 papers
submitted from 26 different countries. They cover a fairly
broad range of themes such as formal methods and practical
experiences with them, special techniques for real-time
systems, software evolution and re-engineering, software
engineering environments, and software metrics. Invited
papers by well-known experts address further important
areas: perspectives on configuration management, software
factories, user interfacedesign, computer security, and
technology transfer.
Springer Book Archives
Table of Contents:
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.
More
ESEC '91: 3rd European Software Engineering Conference, ESEC '91, Milan, Italy, October 21-24, 1991. Proceedings
Subcribe now and receive a favourable price.
Subscribe
22 690 HUF