Coverart for item
The Resource Software Engineering -- ESEC '95 : 5th European Software Engineering Conference Sitges, Spain, September 25-28, 1995 Proceedings, edited by Wilhelm Schäfer, Pere Botella

Software Engineering -- ESEC '95 : 5th European Software Engineering Conference Sitges, Spain, September 25-28, 1995 Proceedings, edited by Wilhelm Schäfer, Pere Botella

Label
Software Engineering -- ESEC '95 : 5th European Software Engineering Conference Sitges, Spain, September 25-28, 1995 Proceedings
Title
Software Engineering -- ESEC '95
Title remainder
5th European Software Engineering Conference Sitges, Spain, September 25-28, 1995 Proceedings
Statement of responsibility
edited by Wilhelm Schäfer, Pere Botella
Creator
Contributor
Subject
Language
eng
Summary
This book constitutes the proceedings of the 5th European Software Engineering Conference, ESEC '95, held in Sitges near Barcelona, Spain, in September 1995. The ESEC conferences are the premier European platform for the discussion of academic research and industrial use of software engineering technology. The 29 revised full papers were carefully selected from more than 150 submissions and address all current aspects of relevance. Among the topics covered are business process (re- )engineering, real-time, software metrics, concurrency, version and configuration management, formal methods, design process, program analysis, software quality, and object-oriented software development
Member of
Cataloging source
KIJ
Dewey number
005.1
Image bit depth
0
Index
no index present
LC call number
QA76.758
LC item number
.E97 1995
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
1995
http://bibfra.me/vocab/lite/meetingName
European Software Engineering Conference
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1912-1981
http://library.link/vocab/relatedWorkOrContributorName
  • Schäfer, Wilhelm
  • Botella, Pere
Series statement
Lecture Notes in Computer Science,
Series volume
989
http://library.link/vocab/subjectName
  • Computer science
  • Software engineering
  • Computer science
  • Software engineering
Label
Software Engineering -- ESEC '95 : 5th European Software Engineering Conference Sitges, Spain, September 25-28, 1995 Proceedings, edited by Wilhelm Schäfer, Pere Botella
Instantiates
Publication
Antecedent source
mixed
Bibliography note
Includes bibliographical references
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
not applicable
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
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
Control code
827359695
Dimensions
unknown
Extent
1 online resource
File format
multiple file formats
Form of item
online
Isbn
9783540604068
Level of compression
uncompressed
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/3-540-60406-5
Other physical details
volumes: digital.
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
(OCoLC)827359695
Label
Software Engineering -- ESEC '95 : 5th European Software Engineering Conference Sitges, Spain, September 25-28, 1995 Proceedings, edited by Wilhelm Schäfer, Pere Botella
Publication
Antecedent source
mixed
Bibliography note
Includes bibliographical references
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
not applicable
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
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
Control code
827359695
Dimensions
unknown
Extent
1 online resource
File format
multiple file formats
Form of item
online
Isbn
9783540604068
Level of compression
uncompressed
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/3-540-60406-5
Other physical details
volumes: digital.
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
(OCoLC)827359695

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
Processing Feedback ...