CSDL - Proceedings E

PDF

Committees (PDF)

pp. xi

PDF

Session A1: ECBS Process I

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

G. Herve Rochecouste, Telstra Applied Technologies, Australia

pp. 4

PDF

Data Integration for Military Systems Engineering (Abstract)

Ngocdung Hoang, NSWCDD

Michael Jenkins, NSWCDD

Nicholas Karangelen, Trident Systems Inc.

pp. 11

PDF

Foundations for the ECBS process (Abstract)

G. Schweizer, Institut fur Mikrorechner & Autom., Karlsruhe Univ., Germany

pp. 16

PDF

Session B1: Reengineering and Reuse

Some Considerations for Reengineering Navy Legacy Systems (Abstract)

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

pp. 24

PDF

Reuse Concepts and a Reuse Support Repository (Abstract)

John Halaris, Technological Educational Institute of Athens

Theodoros Geropoulos Spiros, Technological Educational Institute of Athens

pp. 27

PDF

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

Barry Keepence, Napier University

Campbell McCausland, Napier University

Mike Mannion, Napier University

pp. 35

PDF

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

PDF

Systems theories and architectures for ECBS (Abstract)

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

pp. 52

PDF

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

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

O. Hammerschmidt, Inst. fur Mikrorechner und Autom., Karlsruhe Univ., Germany

pp. 60

PDF

Parameter-Based Representation for Modeling Complex Systems II (Abstract)

S.A. Friedenthal

H. Lykins

pp. 65

PDF

Session B2: Hardware and Application Architecture

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

R. Djemal, Lab. Logiciels Syst. Reseaux, CNRS, Grenoble, France

G. Mazare, Lab. Logiciels Syst. Reseaux, CNRS, Grenoble, France

G. Michel, Lab. Logiciels Syst. Reseaux, CNRS, Grenoble, France

pp. 74

PDF

System Design using ASIPs (Abstract)

L. Carro, Universidade Federal do Rio Grande do Sul

G.A. Pereira, 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

PDF

Verification of the Sparrow Processor (Abstract)

R. Buendgen, Wilhlem-Schickard-Institut fuer Informatik Universitaet Tuebingen

W. Kuechlin, Wilhlem-Schickard-Institut fuer Informatik Universitaet Tuebingen

W. Lauterbach, Wilhlem-Schickard-Institut fuer Informatik Universitaet Tuebingen

pp. 86

PDF

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

H. Kindler, FAW, University of Ulm, Ulm, Germany

B. Fischer, University of Ulm, Ulm, Germany Institute for Occupational Health

D. Densow, University of Ulm, Ulm, Germany Institute for Occupational Health

T.M. Fliedner, University of Ulm, Ulm, Germany Institute for Occupational Health

pp. 442

PDF

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

PDF

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

John McDermid, 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

pp. 102

PDF

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

PDF

Modeling for Configuration Employing Hybrid Knowledge Representation (Abstract)

T. Kessel, Scholar of the Region of Alsace

M. Schlick, Research contract worker of the Robert Bosch Company, Germany

O. Stern, ERIC-LIIA, ENSAIS

pp. 118

PDF

Session B3: Software Systems Engineering

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

D. Greer, University of Ulster Coleraine, Northern Ireland, UK

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

pp. 126

PDF

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

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

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

pp. 134

PDF

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

Jeffrey M. Voas, Reliable Software Technologies

Keith W. Miller, Dept. of Computer Science U. of Illinois at Springfield

pp. 142

PDF

Semantic Preserving Language Conversion by Simple Pattern Matching (Abstract)

Bernd Mueller, IBM Scientific Center, Heidelberg, Germany

pp. 148

PDF

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

PDF

Evaluating Hardware Design Principles for the Development of Computer Based Systems (Abstract)

Maria Brielmann, Cadlab, Fuerstenallee 11

Franz-Josef Rammig, Cadlab, Fuerstenallee 11

pp. 166

PDF

Creating Object Models - Design and Architecture (Abstract)

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

pp. 174

PDF

Hierarchical architectural design, simulation and evaluation (Abstract)

C. Schaffer, Dept. for Syst. Theory & Inf. Eng., Johannes Kepler Univ., Linz, Austria

pp. 181

PDF

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

PDF

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

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. M. Kirkham, 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

PDF

Performance Considerations in COMPLEMENT (Abstract)

Ian Pyle, University of Wales, Aberystwyth, Wales

pp. 206

PDF

Quality in Software Based Systems (Abstract)

Ian Pyle, University of Wales

pp. 214

PDF

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

PDF

Some thoughts on the quality of a computer-based system's architecture (Abstract)

B.M. McCay, Mitre Corp., Bedford, MA, USA

pp. 228

PDF

System-level optimization of architectural performance under varying service demands (Abstract)

D.B. Mulcare, SAIC, Warner Robins, GA, USA

pp. 235

PDF

Session B5: Embedded and Real-Time Systems I

TL: A System-Level Specification Language for System Analysis (Abstract)

L.P.M. Benders

pp. 244

PDF

A Methodology for Rapid Analysis and Optimization of Embedded Systems (Abstract)

pp. 252

PDF

Embedded system design: a case study (Abstract)

M. Sveda, Dept. of Comput. Sci. & Eng., Tech. Univ. of Brno, Czech Republic

pp. 260

PDF

Session A6: Strategies, Tactics, and Methods for Handling Change

A Hierarchical Use Case Model with Graphical Representation (Abstract)

Bjorn Regnell Lund, University, Sweden

Michael Andersson, Telelogic AB

Johan Bergstrand, Telelogic AB

pp. 270

PDF

Progressing Towards Object-Oriented Requirements Specifications by using the USE CASE Concept (Abstract)

Benedicte Dano, TELIS / IRESTE-IRIN

Henri Briand, IRESTE-IRIN

Franck Barbier, IRESTE-IRIN

pp. 450

PDF

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

PDF

Strategies, Tactics and Methods for Handling Change (Abstract)

R.C. Sugden, University of Newcastle

M.R. Strens, University of Newcastle

pp. 457

PDF

Session B6: Automation and Process Control

Automatic Generation of the Controlling System for a Wall Construction Robot

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

Oliver Hammerschmidt, University of Karlsruhe Institute for Microcomputers and Automation (IMA)

pp. 286

PDF

Archiving System States by Persistent Objects (Abstract)

pp. 292

PDF

* EIAMUG Project - Aims and Achievements

Session A7: Requirements Analysis and Elicitation

Behavioral Views for Software Requirements Engineering (Abstract)

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

Glenn H. MacEwen, Computing and Information Science Queen's University Kingston, Ontario, Canada K7L 3N6

pp. 300

PDF

Using Scenarios to Systematically Support Goal-Directed Elaboration for Information System Requirements (Abstract)

E. Kavakli, UMIST

P. Loucopoulos, UMIST

D. Filippidou, UMIST

pp. 308

PDF

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

PDF

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

PDF

A Methodology for Designing and Dimensioning Critical Complex Computing Systems (Abstract)

Gerard Le Lann, INRIA, Projet REFLECS, France

pp. 332

PDF

Session A8: ECBS Process II

Process Oriented Cooperative Work: An Emergent Framework (Abstract)

Alassane Cisse, Universite Toulouse I, Place Anatole France

Souleymane Ndiaye, Universite Toulouse I, Place Anatole France

Josette Link-Pezet, Universite Toulouse I, Place Anatole France

pp. 342

PDF

Model-Integrated Program Synthesis Environment (Abstract)

Janos Sztipanovits, Vanderbilt University

Gabor Karsai, Vanderbilt University

Hubertus Franke, T.J. Watson Research Center, IBM

pp. 348

PDF

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

J.R. Carnes, Adv. Comput. Group, Boeing Defense & Space Group, Huntsville, AL, USA

A. Misra, Adv. Comput. Group, Boeing Defense & Space Group, Huntsville, AL, USA

J. Sztipanovits, Adv. Comput. Group, Boeing Defense & Space Group, Huntsville, AL, USA

pp. 356

PDF

Executing Process Models - Activity and Project Management (Abstract)

Gerhard Chroust, Kepler University Linz

Stefan Hardt, SYBASE, D-20097 Hamburg, Germany

pp. 364

PDF

Session B8: Hardware/Software Codesign

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

D. Sinclair, Dublin City Univ., Ireland

L. Cuypers, Dublin City Univ., Ireland

K. Verschaeve, Dublin City Univ., Ireland

E. Holz, Dublin City Univ., Ireland

A. Birbas, Dublin City Univ., Ireland

V. Mariatos, Dublin City Univ., Ireland

N. Kyrloglou, Dublin City Univ., Ireland

J.L. Roux, Dublin City Univ., Ireland

pp. 372

PDF

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

L. Carro, Universidade Federal do Rio Grande do Sul

A. Suzim, Universidade Federal do Rio Grande do Sul

pp. 382

PDF

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

I.V. Klotchkov, Technical University of Denmark

S. Pedersen, Technical University of Denmark

pp. 389

PDF

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

Reiner W. Hartenstein, University of Kaiserslautern

Juergen Becker, University of Kaiserslautern

Rainer Kress, University of Kaiserslautern

pp. 395

PDF

Session A9: ECBS Education

Engineering of Computer-Based Systems - A Proposed Master Curriculum (Abstract)

Jonah Z. Lavi, CBSE Associates

pp. 404

PDF

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

Herbert Gruenbacher, Vienna University of Technology

Maziar Khosravipour, Vienna University of Technology

pp. 412

PDF

Session B9: Systems and Software Assessment II

Categorization of Programs Using Neural Networks (Abstract)

Franz J. Kurfess, Computer and Information Science Department New Jersey Institute of Technology

Lonnie R. Welch, Computer and Information Science Department New Jersey Institute of Technology

pp. 420

PDF

Selecting Engineering Techniques using Fuzzy Logic Based Decision Support (Abstract)

Peter Liggesmeyer

pp. 427

PDF

An Empirical Validation of Four Different Measures to Quantify User Interface Characteristics based on a General Descriptive Concept for Interaction Points (Abstract)

Matthias Rauterberg, Swiss Federal Institute of Technology (ETH)

pp. 435

PDF

Author Index (PDF)

pp. 464