The Community for Technology Leaders
Software Engineering, International Conference on (1996)
Berlin, GERMANY
Mar. 25, 1996 to Mar. 29, 1996
ISSN: 0270-5257
ISBN: 0-8186-7246-3
TABLE OF CONTENTS

Foreword (PDF)

pp. xi

Dedication (PDF)

pp. xiv
Session 1: Keynote Address
Session 2A: Understanding and Analysis

The program understanding problem: analysis and a heuristic approach (Abstract)

S. Woods , Dept. of Comput. Sci., Waterloo Univ., Ont., Canada
Qiang Yang , Dept. of Comput. Sci., Waterloo Univ., Ont., Canada
pp. 6

The design of whole-program analysis tools (Abstract)

D.C. Atkinson , Dept. of Comput. Sci. & Eng., California Univ., San Diego, La Jolla, CA, USA
W.G. Griswold , Dept. of Comput. Sci. & Eng., California Univ., San Diego, La Jolla, CA, USA
pp. 16

How to identify binary relations for domain models (Abstract)

H. Kaindl , Siemens AG, Vienna, Austria
pp. 28
Session 2B: Supporting Requirements

OPSIS: a view mechanism for software processes which supports their evolution and reuse (Abstract)

P.-V. Cunin , IMAG-LGI, Univ. Joseph Fourier, Grenoble, France
C. Fernstrom , IMAG-LGI, Univ. Joseph Fourier, Grenoble, France
D. Avrilionis , IMAG-LGI, Univ. Joseph Fourier, Grenoble, France
pp. 38

An analytic framework for specifying and analyzing imprecise requirements (Abstract)

J. Yen , Dept. of Comput. Sci., Missouri Univ., Rolla, MO, USA
X.F. Liu , Dept. of Comput. Sci., Missouri Univ., Rolla, MO, USA
pp. 60
Session 2C: Testing and Analysis

Assertion-oriented automated test data generation (Abstract)

A.M. Al-Yami , Dept. of Comput. Sci., Illinois Inst. of Technol., Chicago, IL, USA
B. Korel , Dept. of Comput. Sci., Illinois Inst. of Technol., Chicago, IL, USA
pp. 71

A specification-based adaptive test case generation strategy for open operating system standards (Abstract)

K. Sakamura , Dept. of Inf. Sci., Tokyo Univ., Japan
A. Watanabe , Dept. of Inf. Sci., Tokyo Univ., Japan
pp. 81

An empirical study of static call graph extractors (Abstract)

E.S.-C. Lan , Dept. of Comput. Sci. & Eng., Washington Univ., Seattle, WA, USA
D. Notkin , Dept. of Comput. Sci. & Eng., Washington Univ., Seattle, WA, USA
G.C. Murphy , Dept. of Comput. Sci. & Eng., Washington Univ., Seattle, WA, USA
pp. 90
Session 2D: Industrial Experiences
Session 3A: Object Orientation in Use

Industrial experience with design patterns (Abstract)

J.O. Coplien , First Class Software, Boulder Creek, CA, USA
R. Crocker , First Class Software, Boulder Creek, CA, USA
J. Vlissides , First Class Software, Boulder Creek, CA, USA
L. Dominick , First Class Software, Boulder Creek, CA, USA
G. Meszaros , First Class Software, Boulder Creek, CA, USA
K. Beck , First Class Software, Boulder Creek, CA, USA
F. Paulisch , First Class Software, Boulder Creek, CA, USA
pp. 103

Engineering an 'Open' client/server-platform for a distributed Austrian Alpine road-pricing system in 240 days-case study and experience report (Abstract)

S. Biffl , Dept. of Software Eng., Vienna Univ. of Technol., Austria
S. Oberpfalzer , Dept. of Software Eng., Vienna Univ. of Technol., Austria
T. Grechenig , Dept. of Software Eng., Vienna Univ. of Technol., Austria
pp. 115

An object-oriented implementation of B-ISDN signalling. 2. Extendability stands the test (Abstract)

A.W. Van der Vekens , Public Commun. Networks, Siemens AG, Munich, Germany
pp. 125
Session 3B: Analysis of Distributed Systems

Independent on-line monitoring of evolving systems (Abstract)

N.H. Minsky , Dept. of Comput. Sci., Rutgers Univ., New Brunswick, NJ, USA
pp. 134

Checking subsystem safety properties in compositional reachability analysis (Abstract)

J. Kramer , Dept. of Comput. Sci., Hong Kong Univ. of Sci. & Technol., Kowloon, Hong Kong
S.C. Cheung , Dept. of Comput. Sci., Hong Kong Univ. of Sci. & Technol., Kowloon, Hong Kong
pp. 144

Assertional reasoning about pairwise transient interactions in mobile computing (Abstract)

G.-C. Roman , Dept. of Comput. Sci., Washington Univ., St. Louis, MO, USA
P.J. McCann , Dept. of Comput. Sci., Washington Univ., St. Louis, MO, USA
J.Y. Plun , Dept. of Comput. Sci., Washington Univ., St. Louis, MO, USA
pp. 155
Session 3C: Panel
Session 3D: Mini-Tutorial
Session 4A: Measurement

Effort estimation using analogy (Abstract)

C. Schofield , Dept. of Comput., Bournemouth Univ., UK
M. Shepperd , Dept. of Comput., Bournemouth Univ., UK
B. Kitchenham , Dept. of Comput., Bournemouth Univ., UK
pp. 170

Experiences of software quality management using metrics through the life-cycle (Abstract)

M. Kojo , Res. & Dev. Center, Toshiba Corp., Kawasaki, Japan
H. Ogasawara , Res. & Dev. Center, Toshiba Corp., Kawasaki, Japan
A. Yamada , Res. & Dev. Center, Toshiba Corp., Kawasaki, Japan
pp. 179

Analytical and empirical evaluation of software reuse metrics (Abstract)

S. Karstu , Software & Syst. Res. Lab., AT&T Bell Labs., Murray Hill, NJ, USA
P. Devanbu , Software & Syst. Res. Lab., AT&T Bell Labs., Murray Hill, NJ, USA
W. Thomas , Software & Syst. Res. Lab., AT&T Bell Labs., Murray Hill, NJ, USA
W. Melo , Software & Syst. Res. Lab., AT&T Bell Labs., Murray Hill, NJ, USA
pp. 189
Session 4B6: Component-Based Software

A case study in applying a systematic method for COTS selection (Abstract)

J. Kontio , Dept. of Comput. Sci., Maryland Univ., College Park, MD, USA
pp. 201

System acquisition based on software product assessment (Abstract)

F. Coallier , Dept. of Quality Eng. & Res., Bell Canada, Ottawa, Ont., Canada
J. Mayrand , Dept. of Quality Eng. & Res., Bell Canada, Ottawa, Ont., Canada
pp. 210

Experience assessing an architectural approach to large-scale systematic reuse (Abstract)

K.J. Sullivan , Dept. of Comput. Sci., Virginia Univ., Charlottesville, VA, USA
J.C. Knight , Dept. of Comput. Sci., Virginia Univ., Charlottesville, VA, USA
pp. 220
Session 4C: Panel
Session 4D: Mini-Tutorial
Session 5: Keynote Address
Session 6A: Formal Design

Using KIDS as a tool support for VDM (Abstract)

Y. Ledru , Lab. de Genie Inf., IMAG, Grenoble, France
pp. 236

Executable object modeling with statecharts (Abstract)

E. Gery , Weizmann Inst. of Sci., Rehovot, Israel
D. Harel , Weizmann Inst. of Sci., Rehovot, Israel
pp. 246

Forcing behavioral subtyping through specification inheritance (Abstract)

G.T. Leavens , Dept. of Comput. Sci., Iowa State Univ., Ames, IA, USA
K.K. Dhara , Dept. of Comput. Sci., Iowa State Univ., Ames, IA, USA
pp. 258

Beyond structured programming (Abstract)

R.G. Dromey , Software Quality Inst., Griffith Univ., Nathane, Qld., Australia
S. Pan , Software Quality Inst., Griffith Univ., Nathane, Qld., Australia
pp. 268
Session 6B: Configuration Management and Reuse

Supporting the construction and evolution of component repositories (Abstract)

S. Henninger , Dept. of Comput. Sci. & Eng., Nebraska Univ., Lincoln, NE, USA
pp. 279

A new approach to consistency control in software engineering (Abstract)

M. Minas , Erlangen Univ., Germany
G. Heidenreich , Erlangen Univ., Germany
D. Kips , Erlangen Univ., Germany
pp. 289

Configuration management with logical structures (Abstract)

Yi-Jing Lin , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
S.P. Reiss , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
pp. 298

A generic, peer-to-peer repository for distributed configuration management (Abstract)

A.L. Wolf , Dept. of Comput. Sci., Colorado Univ., Boulder, CO, USA
D. Heimbigner , Dept. of Comput. Sci., Colorado Univ., Boulder, CO, USA
A. Van der Hoek , Dept. of Comput. Sci., Colorado Univ., Boulder, CO, USA
pp. 308
Session 6C: Workshop Presentations
Session 6D: Industrial Experiences
Session 7: Keynote Address
Session 8A: Process Effectiveness

A systematic survey of CMM experience and results (Abstract)

J.D. Herbsleb , Software Eng. Inst., Carnegie Mellon Univ., Pittsburgh, PA, USA
D.R. Goldenson , Software Eng. Inst., Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 323

DYNAMITE: Dynamic Task Nets for Software Process Management (Abstract)

B. Westfechtel , Lehrstuhl fur Inf. III, Tech. Hochschule Aachen, Germany
G. Joeris , Lehrstuhl fur Inf. III, Tech. Hochschule Aachen, Germany
P. Heimann , Lehrstuhl fur Inf. III, Tech. Hochschule Aachen, Germany
C.-A. Krapp , Lehrstuhl fur Inf. III, Tech. Hochschule Aachen, Germany
pp. 331

Designing and implementing COO: design process, architectural style, lessons learned (Abstract)

H. Skaf , CRIN-CNRS, Inst. Henri Poincare, Paris, France
G. Canals , CRIN-CNRS, Inst. Henri Poincare, Paris, France
F. Charoy , CRIN-CNRS, Inst. Henri Poincare, Paris, France
P. Molli , CRIN-CNRS, Inst. Henri Poincare, Paris, France
C. Godart , CRIN-CNRS, Inst. Henri Poincare, Paris, France
pp. 342

An evaluation of software test environment architectures (Abstract)

D.J. Richardson , Dept. of Inf. & Comput. Sci., California Univ., Irvine, CA, USA
N.S. Eickelmann , Dept. of Inf. & Comput. Sci., California Univ., Irvine, CA, USA
pp. 353
Session 8B: System Validation

Scene: using scenario diagrams and active text for illustrating object-oriented programs (Abstract)

K. Koskimies , Dept. of Comput. Sci., Tampere Univ., Finland
H. Mossenbock , Dept. of Comput. Sci., Tampere Univ., Finland
pp. 366

System dynamics modeling of an inspection-based process (Abstract)

R.J. Madachy , Center for Software Eng., Univ. of Southern California, Los Angeles, CA, USA
pp. 376

Monitoring compliance of a software system with its high-level design models (Abstract)

M. Sefika , Dept. of Comput. Sci., Illinois Univ., Urbana, IL, USA
R.H. Campbell , Dept. of Comput. Sci., Illinois Univ., Urbana, IL, USA
A. Sane , Dept. of Comput. Sci., Illinois Univ., Urbana, IL, USA
pp. 387
Session 8C: Environments

Simplifying data integration: the design of the Desert software development environment (Abstract)

S.P. Reiss , Dept. of Comput. Sci., Brown Univ., Providence, RI, USA
pp. 398

Requirements for a layered software architecture supporting cooperative multi-user interaction (Abstract)

A. Sosio , Dipartimento di Scienze dell'Informazione, Milan Univ., Italy
F. de Paoli , Dipartimento di Scienze dell'Informazione, Milan Univ., Italy
pp. 408

Linguistic support for the evolutionary design of software architectures (Abstract)

T.C.N. Graham , Dept. of Comput. Sci., York Univ., North York, Ont., Canada
T. Urnes , Dept. of Comput. Sci., York Univ., North York, Ont., Canada
pp. 418

Cooperating evolving components-A rigorous approach to evolving large software systems (Abstract)

R.M. Greenwood , Dept. of Comput. Sci., Manchester Univ., UK
J. Sa , Dept. of Comput. Sci., Manchester Univ., UK
D.C. Warboys , Dept. of Comput. Sci., Manchester Univ., UK
pp. 428
Session 8D: Mini-Tutorial
Session 9: Keynote Address
Session 1OA: Maintenance and Evolution

Multilanguage interoperability in distributed systems. Experience report (Abstract)

M.J. Maybee , Dept. of Comput. Sci., Colorado Univ., Boulder, CO, USA
L.J. Osterweil , Dept. of Comput. Sci., Colorado Univ., Boulder, CO, USA
D.M. Heimbigner , Dept. of Comput. Sci., Colorado Univ., Boulder, CO, USA
pp. 451

Understanding and predicting the process of software maintenance releases (Abstract)

W.L. Melo , Inst. for Adv. Comput. Studies, Maryland Univ., College Park, MD, USA
Yong-Mi Kim , Inst. for Adv. Comput. Studies, Maryland Univ., College Park, MD, USA
L. Briand , Inst. for Adv. Comput. Studies, Maryland Univ., College Park, MD, USA
J.D. Valen , Inst. for Adv. Comput. Studies, Maryland Univ., College Park, MD, USA
S. Condon , Inst. for Adv. Comput. Studies, Maryland Univ., College Park, MD, USA
V. Basili , Inst. for Adv. Comput. Studies, Maryland Univ., College Park, MD, USA
pp. 464

A scalable, automated process for year 2000 system correction (Abstract)

J.M. Hart , Peritus Software Services Inc., Billerica, MA, USA
A. Pizzarello , Peritus Software Services Inc., Billerica, MA, USA
pp. 475
Session 1OB: Testing Algorithms

Reducing and estimating the cost of test coverage criteria (Abstract)

M. Marre , Dept. de Computacion, Buenos Aires Univ., Argentina
A. Bertolino , Dept. de Computacion, Buenos Aires Univ., Argentina
pp. 486

Slicing object-oriented software (Abstract)

L. Larsen , Dept. of Comput. Sci., Clemson Univ., SC, USA
M.J. Harrold , Dept. of Comput. Sci., Clemson Univ., SC, USA
pp. 495

A reliability model combining representative and directed testing (Abstract)

B. Mitchell , Dept. of Comput. Sci., Old Dominion Univ., Norfolk, VA, USA
S.J. Zeil , Dept. of Comput. Sci., Old Dominion Univ., Norfolk, VA, USA
pp. 506
Session 1OC: Workshop Presentations
Session 1OD: Mini-Tutorial
Session 11A: System Generation

Prototypes as assets, not toys. Why and how to extract knowledge from prototypes. (Experience report) (Abstract)

K. Schneider , Center for LifeLong Learning & Design, Colorado Univ., Boulder, CO, USA
pp. 522

User interface prototyping-concepts, tools, and experience (Abstract)

W. Bischofberger , RWG, Stuttgart, Germany
H. Lichter , RWG, Stuttgart, Germany
H. Zullighoven , RWG, Stuttgart, Germany
D. Baumer , RWG, Stuttgart, Germany
pp. 532

A software engineering experiment in software component generation (Abstract)

A. Kotov , Pacific Software Res. Center, Oregon Graduate Inst. of Sci. & Technol., Portland, OR, USA
L. Walton , Pacific Software Res. Center, Oregon Graduate Inst. of Sci. & Technol., Portland, OR, USA
L. McKinney , Pacific Software Res. Center, Oregon Graduate Inst. of Sci. & Technol., Portland, OR, USA
D.P. Oliva , Pacific Software Res. Center, Oregon Graduate Inst. of Sci. & Technol., Portland, OR, USA
R.B. Kieburtz , Pacific Software Res. Center, Oregon Graduate Inst. of Sci. & Technol., Portland, OR, USA
J. Lewis , Pacific Software Res. Center, Oregon Graduate Inst. of Sci. & Technol., Portland, OR, USA
T. Sheard , Pacific Software Res. Center, Oregon Graduate Inst. of Sci. & Technol., Portland, OR, USA
J. Hook , Pacific Software Res. Center, Oregon Graduate Inst. of Sci. & Technol., Portland, OR, USA
I. Smith , Pacific Software Res. Center, Oregon Graduate Inst. of Sci. & Technol., Portland, OR, USA
J.M. Bell , Pacific Software Res. Center, Oregon Graduate Inst. of Sci. & Technol., Portland, OR, USA
pp. 542
Session 11B: Dataflow Testing

A flexible architecture for building data flow analyzers (Abstract)

M.B. Dwyer , Dept. of Comput. & Inf. Sci., Kansas State Univ., Manhattan, KS, USA
L.A. Clarke , Dept. of Comput. & Inf. Sci., Kansas State Univ., Manhattan, KS, USA
pp. 554

An exact array reference analysis for data flow testing (Abstract)

I. Forgacs , Comput. & Autom. Inst., Hungarian Acad. of Sci., Budapest, Hungary
pp. 565

A demand-driven analyzer for data flow testing at the integration level (Abstract)

M.L. Soffa , Dept. of Comput. Sci., Pittsburgh Univ., PA, USA
E. Duesterwald , Dept. of Comput. Sci., Pittsburgh Univ., PA, USA
R. Gupta , Dept. of Comput. Sci., Pittsburgh Univ., PA, USA
pp. 575
Session 11C: Panel
Session 11D: Industrial Experiences

Author Index (PDF)

pp. 589
89 ms
(Ver )