skip to content
Software engineering - ESEC '95 : 5th European Software Engineering Conference Sitges, Spain, September 25 - 28, 1995 ; proceedings Preview this item
ClosePreview this item

Software engineering - ESEC '95 : 5th European Software Engineering Conference Sitges, Spain, September 25 - 28, 1995 ; proceedings

Author: Wilhelm Schäfer; ESEC
Publisher: Berlin [u.a.] Springer 1995
Series: Lecture ntes in computer science, 989
Edition/Format:   Computer file : EnglishView all editions and formats
Database:WorldCat
Summary:

This collection of proceedings covers topics such as: business process (re- )engineering, real-time, software metrics, concurrency, version and configuration management, formal methods, design  Read more...

Getting this item's online copy... Getting this item's online copy...

Find a copy in the library

Getting this item's location and availability... Getting this item's location and availability...

WorldCat

Find it in libraries globally
Worldwide libraries own this item

Details

Material Type: Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Wilhelm Schäfer; ESEC
ISBN: 3540604065 9783540604068
OCLC Number: 845513531
Notes: Literaturangaben
Description: Online-Ressource (XII, 519 S.)
Contents: Demands and perspectives for future software engineers: An industrial viewpoint.- Why we need object databases.- A personal commitment to software quality.- Distributed modeling and distributed enaction of business processes.- Improvise: Interactive multimedia process visualization environment.- Design process improvement case study using process waiver data.- Using a symbolic model checker for verify safety properties in SA/RT models.- Instrumentation of Synchronous Reactive Models for performance engineering.- A formal framework for ASTRAL inter-level proof obligations.- An objective reuse metric: Model and methodology.- Measuring product attributes of object-oriented systems.- Specifying distributed software architectures.- A specification-based methodology for testing concurrent programs.- Dynamic configuration abstraction.- Handling version sets through feature logic.- Integrating incremental analysis with version management.- Graph grammar engineering with PROGRES.- A structured analysis formalism with execution semantics to allow unambiguous model interpretation.- An integrated formal model of scenarios based on statecharts.- Tool support for formal software development: A generic architecture.- The treatment of non-functional requirements in MIKE.- Supporting design rationale for system evolution.- PQL: A language for specifying abstract program views.- An exploratory study of program metrics as predictors of reachability analysis performance.- An empirical evaluation of three defect-detection techniques.- Assessing the quality of large, software-intensive systems: A case study.- The impact of incremental delivery on maintenance effort: An analytical study.- Metrics for quality factors in the LESD project.- Quantitative evaluations of software quality built in with domain-specific disciplines.- Component Programming - a fresh look at software components.- Designing a framework by stepwise generalization.- Object-oriented re-architecturing.
Series Title: Lecture ntes in computer science, 989
Responsibility: Wilhelm Schäfer ... (eds.)
Retrieving notes about this item Retrieving notes about this item

Reviews

User-contributed reviews

Tags

Be the first.

Similar Items

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.