The Community for Technology Leaders
Engineering of Computer-Based Systems, IEEE International Conference on the (1996)
Friedrichshafen, GERMANY
Mar. 11, 1996 to Mar. 15, 1996
ISBN: 0-8186-7355-9
TABLE OF CONTENTS

Foreword (PDF)

pp. x

Committees (PDF)

pp. xi
Session A1: ECBS Process I

Engineering Information Systems and the IEEE Std 1220-1994 (Abstract)

G. Herve Rochecouste , Telstra Applied Technologies, Australia
pp. 4

Foundations for the ECBS process (Abstract)

G. Schweizer , Institut fur Mikrorechner & Autom., Karlsruhe Univ., Germany
pp. 16
Session B1: Reengineering and Reuse

Some Considerations for Reengineering Navy Legacy Systems (Abstract)

Mark L. Wilson , Naval Surface Warfare Center DD/WO
pp. 24

Reuse Concepts and a Reuse Support Repository (Abstract)

Theodoros Geropoulos Spiros , Technological Educational Institute of Athens
John Halaris , Technological Educational Institute of Athens
pp. 27

A New Method for Identification of Reusable Software Components (Abstract)

Barry Keepence , Napier University
Mike Mannion , Napier University
Campbell McCausland , Napier University
pp. 35
Session A2: Systems Analysis and Modeling

Improving the Quality of Systems and Domain Analysis through Object Class Congruency (Abstract)

Stephen W. Clyde , Utah State University
David W. Embley , Brigham Young University
Scott N. Woodfield , Brigham Young University
pp. 44

Systems theories and architectures for ECBS (Abstract)

M. Voss , Inst. fur Mikrorechner und Autom., Karlsruhe Univ., Germany
pp. 52

Case studies in CBS development-manufacturing. An experience report (Abstract)

O. Hammerschmidt , Inst. fur Mikrorechner und Autom., Karlsruhe Univ., Germany
M. Voss , Inst. fur Mikrorechner und Autom., Karlsruhe Univ., Germany
pp. 60
Session B2: Hardware and Application Architecture

Toward reconfigurable associative architecture for high speed communication operators (Abstract)

G. Michel , Lab. Logiciels Syst. Reseaux, CNRS, Grenoble, France
R. Djemal , Lab. Logiciels Syst. Reseaux, CNRS, Grenoble, France
G. Mazare , Lab. Logiciels Syst. Reseaux, CNRS, Grenoble, France
pp. 74

System Design using ASIPs (Abstract)

G.A. Pereira , Universidade Federal do Rio Grande do Sul
L. Carro , Universidade Federal do Rio Grande do Sul
C. Alba , Universidade Federal do Rio Grande do Sul
A. Suzim , Universidade Federal do Rio Grande do Sul
pp. 80

Verification of the Sparrow Processor (Abstract)

W. Lauterbach , Wilhlem-Schickard-Institut fuer Informatik Universitaet Tuebingen
W. Kuechlin , Wilhlem-Schickard-Institut fuer Informatik Universitaet Tuebingen
R. Buendgen , Wilhlem-Schickard-Institut fuer Informatik Universitaet Tuebingen
pp. 86

An Architecture for Medical Knowledge-Based Assistance Systems (Abstract)

D. Densow , University of Ulm, Ulm, Germany Institute for Occupational Health
H. Kindler , FAW, University of Ulm, Ulm, Germany
T.M. Fliedner , University of Ulm, Ulm, Germany Institute for Occupational Health
B. Fischer , University of Ulm, Ulm, Germany Institute for Occupational Health
pp. 442
Session A3: Domain Analysis

Domain Engineering: The Challenge, Status, and Trends (Abstract)

Stephanie White , Advanced Technology & Development Center Northrop Grumman
Michael Edwards , Naval Surface Warfare Center
pp. 96

An Integrated Approach to Domain Analysis and Reuse for Engineering Complex Systems (Abstract)

Wing Lam , Rolls-Royce Systems and Software Engineering University Technology Centre University of York, York, Y01 5DD, United Kingdom
Ben Whittle , Rolls-Royce Systems and Software Engineering University Technology Centre University of York, York, Y01 5DD, United Kingdom
Steve Wilson , Rolls-Royce Systems and Software Engineering University Technology Centre University of York, York, Y01 5DD, United Kingdom
John McDermid , Rolls-Royce Systems and Software Engineering University Technology Centre University of York, York, Y01 5DD, United Kingdom
pp. 102

A Concept-Oriented Logical Framework for Domain Knowledge Modeling and Analysis in Computer-based Systems Engineering (Abstract)

Ernesto Compatangelo , Istituto di Informatica della Facolta di Ingegneria Universita degli Studi di Ancona, Italy
pp. 110

Modeling for Configuration Employing Hybrid Knowledge Representation (Abstract)

M. Schlick , Research contract worker of the Robert Bosch Company, Germany
O. Stern , ERIC-LIIA, ENSAIS
T. Kessel , Scholar of the Region of Alsace
pp. 118
Session B3: Software Systems Engineering

Towards an Evolutionary Software Delivery Strategy based on Soft Systems and Risk Analysis (Abstract)

D.W. Bustard , University of Ulster Coleraine, Northern Ireland, UK
D. Greer , University of Ulster Coleraine, Northern Ireland, UK
pp. 126

Software Maintenance versus Software Evolution: An Approach to Software Systems Evolution (Abstract)

Juan Carlos Torres , E.T.S. de Ingenieria Informatica. Universidad de Granada. Avda. de Andalucia 38. 18071 - GRANADA (Spain)
Jose Parets , E.T.S. de Ingenieria Informatica. Universidad de Granada. Avda. de Andalucia 38. 18071 - GRANADA (Spain)
pp. 134

The Avalanche Paradigm: An Experimental Software Programming Technique for Improving Fault-tolerance (Abstract)

Keith W. Miller , Dept. of Computer Science U. of Illinois at Springfield
Jeffrey M. Voas , Reliable Software Technologies
pp. 142

Semantic Preserving Language Conversion by Simple Pattern Matching (Abstract)

Bernd Mueller , IBM Scientific Center, Heidelberg, Germany
pp. 148
Session A4: Systems Design

Integration of Design Modeling Techniques: Operations Automation Systems Scenario (Abstract)

William W. Owen , CEGELEC ESCA Tucson, Arizona
Jerzy W. Rozenblit , Dept. of Computer and Electrical Engineering The University of Arizona
pp. 158

Creating Object Models - Design and Architecture (Abstract)

David W. Oliver , Model Based Systems, Inc. 133 Ashdown Road, Ballston Lake, N.Y. 12019
pp. 174

Hierarchical architectural design, simulation and evaluation (Abstract)

C. Schaffer , Dept. for Syst. Theory & Inf. Eng., Johannes Kepler Univ., Linz, Austria
pp. 181
Session B4: Systems and Software Assessment I

Software assessment to support certification for an existing computer-based system (Abstract)

S. McDonnell , Lockheed Martin Fort Worth Co., TX, USA
B.E. Melhart , Lockheed Martin Fort Worth Co., TX, USA
pp. 190

The Safety Argument Manager: An Integrated Approach to the Engineering and Safety Assessment of Computer Based Systems (Abstract)

P. M. Kirkham , High Integrity Systems Engineering Group University of York, Y01 5DD, United Kingdom
S. P. Wilson , High Integrity Systems Engineering Group University of York, Y01 5DD, United Kingdom
J. A. McDermid , High Integrity Systems Engineering Group University of York, Y01 5DD, United Kingdom
P. Fenelon , High Integrity Systems Engineering Group University of York, Y01 5DD, United Kingdom
pp. 198

Performance Considerations in COMPLEMENT (Abstract)

Ian Pyle , University of Wales, Aberystwyth, Wales
pp. 206

Quality in Software Based Systems (Abstract)

Ian Pyle , University of Wales
pp. 214
Session A5: CBS Architecture

ASPECT - An Architecture SPECification Technique: A Report on Work in Progress (Abstract)

Vassilka Kirova , New Jersey Institute of Technology
Wilhelm Rossak , New Jersey Institute of Technology
pp. 220
Session B5: Embedded and Real-Time Systems I

Embedded system design: a case study (Abstract)

M. Sveda , Dept. of Comput. Sci. & Eng., Tech. Univ. of Brno, Czech Republic
pp. 260
Session A6: Strategies, Tactics, and Methods for Handling Change

Change Analysis: A Step towards Meeting the Challenge of Changing Requirements (Abstract)

M.R. Strens , University of Newcastle
R.C. Sugden , University of Newcastle
pp. 278

Strategies, Tactics and Methods for Handling Change (Abstract)

M.R. Strens , University of Newcastle
R.C. Sugden , University of Newcastle
pp. 457
Session B6: Automation and Process Control

Engineering of Computer-Based Systems in Process Control (Abstract)

Oliver Hammerschmidt , University of Karlsruhe Institute for Microcomputers and Automation (IMA)
pp. 286
Session A7: Requirements Analysis and Elicitation

Behavioral Views for Software Requirements Engineering (Abstract)

Glenn H. MacEwen , Computing and Information Science Queen's University Kingston, Ontario, Canada K7L 3N6
Ayaz Isazadeh , Computing and Information Science Queen's University Kingston, Ontario, Canada K7L 3N6
David A. Lamb , Computing and Information Science Queen's University Kingston, Ontario, Canada K7L 3N6
pp. 300

Context Modeling for an Usability Oriented Approach to Interactive Systems Requirements Engineering (Abstract)

Marcelo Soares Pimenta , BARTHET LIS Laboratory- University Toulouse 1
Marie-France Barthet , LIS Laboratory- University Toulouse 1
pp. 315
Session B7: Embedded and Real-Time Systems II

Classifying Object-Oriented Real-time Systems: Ada 95 and Deal (Abstract)

Dieter K. Hammer , Eindhoven University of Technology (EUT)
Onno S. Van Roosmalen , Eindhoven University of Technology (EUT)
Lonnie R. Welch , New Jersey Institute of Technology
pp. 324
Session A8: ECBS Process II

Process Oriented Cooperative Work: An Emergent Framework (Abstract)

Josette Link-Pezet , Universite Toulouse I, Place Anatole France
Alassane Cisse , Universite Toulouse I, Place Anatole France
Souleymane Ndiaye , Universite Toulouse I, Place Anatole France
pp. 342

Model-Integrated Program Synthesis Environment (Abstract)

Janos Sztipanovits , Vanderbilt University
Gabor Karsai , Vanderbilt University
Hubertus Franke , T.J. Watson Research Center, IBM
pp. 348

Model-integrated toolset for fault detection, isolation and recovery (FDIR) (Abstract)

A. Misra , Adv. Comput. Group, Boeing Defense & Space Group, Huntsville, AL, USA
J.R. Carnes , Adv. Comput. Group, Boeing Defense & Space Group, Huntsville, AL, USA
J. Sztipanovits , Adv. Comput. Group, Boeing Defense & Space Group, Huntsville, AL, USA
pp. 356

Executing Process Models - Activity and Project Management (Abstract)

Gerhard Chroust , Kepler University Linz
Stefan Hardt , SYBASE, D-20097 Hamburg, Germany
pp. 364
Session B8: Hardware/Software Codesign

A formal approach to HW/SW co-design: the INSYDE project (Abstract)

J.L. Roux , Dublin City Univ., Ireland
E. Holz , Dublin City Univ., Ireland
A. Birbas , Dublin City Univ., Ireland
L. Cuypers , Dublin City Univ., Ireland
K. Verschaeve , Dublin City Univ., Ireland
V. Mariatos , Dublin City Univ., Ireland
D. Sinclair , Dublin City Univ., Ireland
N. Kyrloglou , Dublin City Univ., Ireland
pp. 372

A Risc Architecture to Explore HW/SW Parallelism in HW/SW Co-Design (Abstract)

A. Suzim , Universidade Federal do Rio Grande do Sul
L. Carro , Universidade Federal do Rio Grande do Sul
pp. 382

A Codesign Case Study: Implementing Arithmetic Functions in FPGA's (Abstract)

S. Pedersen , Technical University of Denmark
I.V. Klotchkov , Technical University of Denmark
pp. 389

Two-Level Hardware/Software Partitioning Using CoDe-X (Abstract)

Reiner W. Hartenstein , University of Kaiserslautern
Rainer Kress , University of Kaiserslautern
Juergen Becker , University of Kaiserslautern
pp. 395
Session A9: ECBS Education

WinDLX and MIPSim Pipeline Simulators for Teaching Computer Architecture (Abstract)

Maziar Khosravipour , Vienna University of Technology
Herbert Gruenbacher , Vienna University of Technology
pp. 412
Session B9: Systems and Software Assessment II

Categorization of Programs Using Neural Networks (Abstract)

Lonnie R. Welch , Computer and Information Science Department New Jersey Institute of Technology
Franz J. Kurfess , Computer and Information Science Department New Jersey Institute of Technology
pp. 420

Author Index (PDF)

pp. 464
104 ms
(Ver 3.1 (10032016))