The Community for Technology Leaders
Engineering of Complex Computer Systems, IEEE International Conference on (1995)
Ft. Lauderdale, Florida
Nov. 6, 1995 to Nov. 10, 1995
ISBN: 0-8186-7123-8
TABLE OF CONTENTS

Program Committee (PDF)

pp. xvii

Reviewers (PDF)

pp. xviii

Exhibits (PDF)

pp. xix
Keynote Speech
Common Session I (Deliberate Potpourri), Chair: B. Kraemer

A time-sharing architecture for complex real-time systems (Abstract)

J. Jehuda , Dept. of Electr. Eng., Technion-Israel Inst. of Technol., Haifa, Israel
D.M. Berry , Dept. of Electr. Eng., Technion-Israel Inst. of Technol., Haifa, Israel
G. Koren , Dept. of Electr. Eng., Technion-Israel Inst. of Technol., Haifa, Israel
pp. 9

Engineering baselines in system development: using ASCII files, two-column index piles, and system numbers, engineering tags, and change set numbers (Abstract)

Sooyong Park , George Mason Univ., Fairfax, VA, USA
M. Merriman , George Mason Univ., Fairfax, VA, USA
R.P. Evans , George Mason Univ., Fairfax, VA, USA
pp. 17

SDT a tool for complex real-time systems (Abstract)

P. Blysa , Telelogic, Princeton, NJ, USA
pp. 21
Common Session II (Deliberate Potpourri), Chair: K. Nilson

Tracing complexity through the software process (Abstract)

C. Ebert , Alcatel SEL, Stuttgart, Germany
pp. 23

The role of secondary attributes in formal object modelling (Abstract)

R. Duke , Dept. of Comput. Sci., Queensland Univ., St. Lucia, Qld., Australia
G. Rose , Dept. of Comput. Sci., Queensland Univ., St. Lucia, Qld., Australia
Jin Song Dong , Dept. of Comput. Sci., Queensland Univ., St. Lucia, Qld., Australia
pp. 31

A graphical paradigm facilitating correct programming of complex computer control systems (Abstract)

K.F. Man , Dept. of Electr. Eng., Fern Univ., Hagen, Germany
W.A. Halang , Dept. of Electr. Eng., Fern Univ., Hagen, Germany
M. Colnaric , Dept. of Electr. Eng., Fern Univ., Hagen, Germany
pp. 39

Customizable notations for kernel formalisms (Abstract)

A. Orso , Dipartimento di Elettronica e Informazione, Politecnico di Milano, Italy
M. Pezze , Dipartimento di Elettronica e Informazione, Politecnico di Milano, Italy
L. Baresi , Dipartimento di Elettronica e Informazione, Politecnico di Milano, Italy
pp. 43
Keynote Speech

Keynote (PDF)

pp. xxvi
Common Session III (Deliberate Potpourri), Chair: T. Bihari

Animation of heterogeneous prototypes of real-time systems (Abstract)

G. Leon , ETSI Telecomunicacion, Univ. Politecnica de Madrid, Spain
M.A. de Miguel , ETSI Telecomunicacion, Univ. Politecnica de Madrid, Spain
J. Leskela , ETSI Telecomunicacion, Univ. Politecnica de Madrid, Spain
J.A. de la Puente , ETSI Telecomunicacion, Univ. Politecnica de Madrid, Spain
A. Alonso , ETSI Telecomunicacion, Univ. Politecnica de Madrid, Spain
J.C. Duenas , ETSI Telecomunicacion, Univ. Politecnica de Madrid, Spain
A. Rendon , ETSI Telecomunicacion, Univ. Politecnica de Madrid, Spain
pp. 47

Automation of analysis and simulation for understanding of large real-time Ada software (Abstract)

M. Lee , Dept. of Comput. & Inf. Sci., Pennsylvania Univ., Philadelphia, PA, USA
N. Prywes , Dept. of Comput. & Inf. Sci., Pennsylvania Univ., Philadelphia, PA, USA
I. Lee , Dept. of Comput. & Inf. Sci., Pennsylvania Univ., Philadelphia, PA, USA
pp. 55

A case study on design for provability (Abstract)

P. Curzon , Comput. Lab., Cambridge Univ., UK
I.M. Leslie , Comput. Lab., Cambridge Univ., UK
pp. 59

Advances in the design and deployment of human-machine interfaces (Abstract)

P.A. Bennett , Virtual Prototypes Inc., Montreal, Que., Canada
pp. 68

A tool for modeling and verifying real-time systems (Abstract)

R. Cleaveland , Alphatronix Inc., Research Triangle Park, NC, USA
W.M. Elseaidy , Alphatronix Inc., Research Triangle Park, NC, USA
pp. 70
Common Session IV

Panel (PDF)

pp. null
Parallel Session V.a (Design Methods), Chiar: J.-J. Schwarz

A performance oriented design methodology for large-scale distributed data intensive information systems (Abstract)

D.A. Menasce , Dept. of Comput. Sci., George Mason Univ., Fairfax, VA, USA
H. Gomaa , Dept. of Comput. Sci., George Mason Univ., Fairfax, VA, USA
L. Kerschberg , Dept. of Comput. Sci., George Mason Univ., Fairfax, VA, USA
pp. 72

Representing architectural designs: a central issue in the development of complex systems (Abstract)

W. Rossak , Software Eng. Lab., New Jersey Inst. of Technol., Newark, NJ, USA
V. Kirova , Software Eng. Lab., New Jersey Inst. of Technol., Newark, NJ, USA
pp. 80

Integrating formal methods tools to support system design (Abstract)

Shiu-Kai Chin , Dept. of Electr. & Comput. Eng., Syracuse Univ., NY, USA
J. Giordano , Dept. of Electr. & Comput. Eng., Syracuse Univ., NY, USA
J. Faust , Dept. of Electr. & Comput. Eng., Syracuse Univ., NY, USA
pp. 88
Parallel Session V.b (Real Time), Chair: L. Motus

Hard real-time communications with weighted round robin service in ATM local area networks (Abstract)

A. Raha , Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
Wei Zhao , Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
N. Malcolm , Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
pp. 96
Parallel Session V.c (Software and Systems Engineering), Chair: J. Lavi

Requirements for client/server performance modeling (Abstract)

J.J. Martinka , Hewlett-Packard Co., Palo Alto, CA, USA
pp. 108

Managing system technical risks using a process-based, integration infrastructure (Abstract)

J.R. Newman , Florida Inst. of Technol., Melbourne, FL, USA
S.L. Rohde , Florida Inst. of Technol., Melbourne, FL, USA
pp. 112

On the integration of heterogeneous methods for complex applications (Abstract)

F. Gargouri , LIPN, Univ. de Paris-Nord, Villetaneuse, France
N. Kraiem , LIPN, Univ. de Paris-Nord, Villetaneuse, France
F. Boufares , LIPN, Univ. de Paris-Nord, Villetaneuse, France
pp. 116

Command and control system requirements analysis. System requirements specification tactical system CUP CMT (Abstract)

M.J. Diepstraten , TNO Phys. & Electron. Lab., Netherlands Organization for Applied Sci. Res., The Hague, Netherlands
pp. 121

POSD-a notation for presenting complex systems of processes (Abstract)

G.D. Pratten , Dept. of Electron. & Comput. Sci., Southampton Univ., UK
P. Henderson , Dept. of Electron. & Comput. Sci., Southampton Univ., UK
pp. 125
Parallel Session V1.a (Formal Methods), Chair: J. Bowen

Discrete event process controller synthesis using VDM/sup ++/ (Abstract)

K. Lano , Dept. of Comput., Imperial Coll. of Sci., Technol. & Med., London, UK
S. Goldsack , Dept. of Comput., Imperial Coll. of Sci., Technol. & Med., London, UK
pp. 129

Structured methodology+object-oriented methodology+formal methods: methodology of SOFL (Abstract)

Yong Sun , Fac. of Inf. Sci., Hiroshima Univ., Japan
Shaoying Liu , Fac. of Inf. Sci., Hiroshima Univ., Japan
pp. 137

Hybrid specification of control systems (Abstract)

L. Bun , Fac. of Tech. Math. & Inf., Delft Univ. of Technol., Netherlands
W.J. Toetenel , Fac. of Tech. Math. & Inf., Delft Univ. of Technol., Netherlands
K. Brink , Fac. of Tech. Math. & Inf., Delft Univ. of Technol., Netherlands
J. Van Katwijk , Fac. of Tech. Math. & Inf., Delft Univ. of Technol., Netherlands
pp. 149
Parallel Session V1.b (Real Time), Chair: J. Huang

Evolvable real-time C3 systems (Abstract)

M. Gates , Mitre Corp., Bedford, MA, USA
E. Bensley , Mitre Corp., Bedford, MA, USA
S. Kim , Mitre Corp., Bedford, MA, USA
A. Kanevsky , Mitre Corp., Bedford, MA, USA
B. Thuraisingham , Mitre Corp., Bedford, MA, USA
A. Schafer , Mitre Corp., Bedford, MA, USA
L. Fisher , Mitre Corp., Bedford, MA, USA
J. Houchens , Mitre Corp., Bedford, MA, USA
P. Krupp , Mitre Corp., Bedford, MA, USA
pp. 153
Parallel Session V1.c (Software and Systems Engineering), Chair: S. Howell

A combined functional and object-oriented approach to software design (Abstract)

E.B. Fernandez , Dept. of Comput. Sci. & Eng., Florida Atlantic Univ., Boca Raton, FL, USA
Jie Wu , Dept. of Comput. Sci. & Eng., Florida Atlantic Univ., Boca Raton, FL, USA
Haifeng Qian , Dept. of Comput. Sci. & Eng., Florida Atlantic Univ., Boca Raton, FL, USA
pp. 167

STADIUM: a new tool for high assurance in systems design (Abstract)

R.H. Cofer , Florida Inst. of Technol., Melbourne, FL, USA
T.J. Sanders , Florida Inst. of Technol., Melbourne, FL, USA
pp. 175

A software design for integrating DESTINATION with ACEIT (Abstract)

J.J. McGahan , Naval Underwater Syst. Center, New London, CT, USA
N.D. Patel , Naval Underwater Syst. Center, New London, CT, USA
D.J. Organ , Naval Underwater Syst. Center, New London, CT, USA
T.C. Choinski , Naval Underwater Syst. Center, New London, CT, USA
pp. 179

Contribution of object-oriented methodologies to the specification of complex systems (Abstract)

D. Ramazani , Dept. d'Inf. et de Recherche Oper., Montreal Univ., Que., Canada
pp. 183

Derivation of S-domain aircraft models (Abstract)

T.J. Redling , Guidance & Control Syst., Allied-Signal Aerosp. Co., Columbia, MD, USA
pp. 187
Keynote Speech
Common Session VIII

Panel (PDF)

pp. null
Parallel Session 1X.a (Databases and Integration Frameworks), Chair: E. Bertino

Goal-oriented dynamic buffer pool management for data base systems (Abstract)

G. Wang , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
J. Teng , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
Jen-Yao Chwng , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
C. Nikolaou , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
D. Ferguson , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
pp. 191

Active integration frameworks (Abstract)

K.L. Bellman , National Systems Group, Aerosp. Corp., Herndon, VA, USA
C. Landauer , National Systems Group, Aerosp. Corp., Herndon, VA, USA
pp. 199

On-line event reconstruction using a parallel in-memory database (Abstract)

P. van der Stok , Dept. of Math. & Comput. Sci., Eindhoven Univ. of Technol., Netherlands
E. Argante , Dept. of Math. & Comput. Sci., Eindhoven Univ. of Technol., Netherlands
I. Willers , Dept. of Math. & Comput. Sci., Eindhoven Univ. of Technol., Netherlands
pp. 207

A system engineering methodology for predicting scalability of very large real-time databases (Abstract)

W.H. Greene , Harris Corp., Melbourne, FL, USA
R.A. Basta , Harris Corp., Melbourne, FL, USA
pp. 211
Parallel Session 1X.b (Real-Time Schedulability and Scheduling Issues), Chair: W. Zhao

Schedulability related issues in end-to-end systems (Abstract)

R. Mukkamala , Dept. of Comput. Sci., Old Dominion Univ., Norfolk, VA, USA
R. Yerraballi , Dept. of Comput. Sci., Old Dominion Univ., Norfolk, VA, USA
pp. 215

Knowledge-Based assistance for real-time systems (Abstract)

J.A. Stankovic , Adv. Syst. Technol. Inc., Englewood, CO, USA
R.T. Goettge , Adv. Syst. Technol. Inc., Englewood, CO, USA
M. Humphrey , Adv. Syst. Technol. Inc., Englewood, CO, USA
C. Palczak , Adv. Syst. Technol. Inc., Englewood, CO, USA
E. Brehm , Adv. Syst. Technol. Inc., Englewood, CO, USA
pp. 223
Parallel Session 1X.c (Tools and Environments), Chair: J. de la Puente

Model-embedded on-line problem solving environment for chemical engineering (Abstract)

S. Padalkar , Dept. of Electr. & Comput. Eng., Vanderbilt Univ., Nashville, TN, USA
G. Karsai , Dept. of Electr. & Comput. Eng., Vanderbilt Univ., Nashville, TN, USA
F. DeCaria , Dept. of Electr. & Comput. Eng., Vanderbilt Univ., Nashville, TN, USA
H. Franke , Dept. of Electr. & Comput. Eng., Vanderbilt Univ., Nashville, TN, USA
J. Sztipanovits , Dept. of Electr. & Comput. Eng., Vanderbilt Univ., Nashville, TN, USA
pp. 227

A unique tool set for engineering complex systems (Abstract)

K.J. Fowler , Mitre Corp., Eatontown, NJ, USA
T.J. Walsh , Mitre Corp., Eatontown, NJ, USA
E.M. Osman , Mitre Corp., Eatontown, NJ, USA
G. Baratta-Perez , Mitre Corp., Eatontown, NJ, USA
pp. 234
Parallel Session X.a (Specification and Reasoning), Chair: M. Pezze

Compositional reasoning about projected and infinite time (Abstract)

B. Moszkowski , Dept. of Electr. & Electron. Eng., Newcastle upon Tyne Univ., UK
pp. 238

Formal specification and verification of communication protocols using automated tools (Abstract)

K. Jabbour , Dept. of Electr. & Comput. Eng., Wilkes Univ., PA, USA
M. Barjaktarovic , Dept. of Electr. & Comput. Eng., Wilkes Univ., PA, USA
Shiu-Kai Chin , Dept. of Electr. & Comput. Eng., Wilkes Univ., PA, USA
pp. 246

Specifying static analysis tools using formal methods (Abstract)

K. Lano , Dept. of Comput., Imperial Coll. of Sci., Technol. & Med., London, UK
pp. 254
Parallel Session X.b (Imaging & Artificial Intelligence), Chair: H. Lee

Model-based synthesis of a real-time image processing system (Abstract)

M.S. Moore , Dept. of ECE, Vanderbilt Univ., Nashville, TN, USA
J. Nichols , Dept. of ECE, Vanderbilt Univ., Nashville, TN, USA
pp. 262

Design and implementation of a distributed real-time image processing system (Abstract)

L. Guan , Dept. of Electr. Eng., Sydney Univ., NSW, Australia
D. Rahija , Dept. of Electr. Eng., Sydney Univ., NSW, Australia
G. Lau , Dept. of Electr. Eng., Sydney Univ., NSW, Australia
D.M. Wu , Dept. of Electr. Eng., Sydney Univ., NSW, Australia
pp. 266

Real-time computer controlled ultrasound therapy system for breast cancer treatment (Abstract)

G.K. Svensson , Foard Syst. Design Inc., Durham, NC, USA
P.L. Neubauer , Foard Syst. Design Inc., Durham, NC, USA
E.C. Burdette , Foard Syst. Design Inc., Durham, NC, USA
W.W. Foard , Foard Syst. Design Inc., Durham, NC, USA
L.E. Grossman , Foard Syst. Design Inc., Durham, NC, USA
pp. 270
Parallel Session X.c (Software and Systems Engineering), Chair: M. Wilson

RECAP: a requirements elicitation, capture and analysis process prototype tool for large complex systems (Abstract)

M. Flanzer , Dahlgren Div., Naval Surface Warfare Center, Silver Spring, MD, USA
J. Landa , Dahlgren Div., Naval Surface Warfare Center, Silver Spring, MD, USA
M.L. Edwards , Dahlgren Div., Naval Surface Warfare Center, Silver Spring, MD, USA
M. Terry , Dahlgren Div., Naval Surface Warfare Center, Silver Spring, MD, USA
pp. 278

Abstract and concrete components: an approach to complex systems engineering (Abstract)

F. Tisato , Dipartimento di Sci. dell'Inf., Milan Univ., Italy
F. de Paoli , Dipartimento di Sci. dell'Inf., Milan Univ., Italy
pp. 282

A constraint function classification for complex systems development (Abstract)

T.J. Marlowe , Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
M.S. Harelick , Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
A.D. Stoyenko , Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
P. Sinha , Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
pp. 286
Parallel Session X1.a (Object Orientation and Modeling), Chair: T. Ae

Target tracking: a real-time object oriented design experiment (Abstract)

M. Baker , Adv. Syst. Technol., Englewood, CO, USA
S. Gheorghe , Adv. Syst. Technol., Englewood, CO, USA
G. Krasovec , Adv. Syst. Technol., Englewood, CO, USA
pp. 290

Enhancing object modelling technique with timing analysis capabilities (Abstract)

T. Naks , Inst. of Autom. & Syst. Eng., Tallinn Tech. Univ., Estonia
R. Kinksaar , Inst. of Autom. & Syst. Eng., Tallinn Tech. Univ., Estonia
L. Motus , Inst. of Autom. & Syst. Eng., Tallinn Tech. Univ., Estonia
M. Pall , Inst. of Autom. & Syst. Eng., Tallinn Tech. Univ., Estonia
pp. 298

An object-oriented approach to handle complex real-time industrial automation projects (Abstract)

P. Darscht , Inst. for Autom. & Software Eng., Stuttgart, Germany
C.E. Pereira , Inst. for Autom. & Software Eng., Stuttgart, Germany
pp. 302

Applying object-oriented technology in real-time systems with the OCTOPUS method (Abstract)

M. Awad , NOKIA Res. Center, Helsinki, Finland
J. Kuusela , NOKIA Res. Center, Helsinki, Finland
L. Ziegler , NOKIA Res. Center, Helsinki, Finland
pp. 306

An object-oriented modeling of real-time robotic assembly system (Abstract)

V.S. Alagar , Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
T. Radhakrishnan , Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
R. Achuthan , Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
pp. 310
Parallel Session X1.b (Networking and Communications), Chair: P. Gopinath

The computational requirements of mobile machines (Abstract)

S. Acharya , Dept. of Comput. Sci., Brown Univ., Providence, RI, USA
R. Alonso , Dept. of Comput. Sci., Brown Univ., Providence, RI, USA
pp. 314

The effect of preemptive queuing in a priority-based real-time network (Abstract)

I. Chu , Dept. of Electr. & Comput. Eng., California Univ., San Diego, La Jolla, CA, USA
R. Grygiel , Dept. of Electr. & Comput. Eng., California Univ., San Diego, La Jolla, CA, USA
R.D. Fellman , Dept. of Electr. & Comput. Eng., California Univ., San Diego, La Jolla, CA, USA
pp. 322
Parallel Session XI1.a (Heterogeneous Computing), Chair: M. Eshaghian

Dynamic task migration from SIMD to SPMD virtual machines (Abstract)

H.J. Siegel , Sarnoff Real Time Corp., Princeton, NJ, USA
J.B. Armstrong , Sarnoff Real Time Corp., Princeton, NJ, USA
pp. 326

General-purpose multiparadigm programming languages: an enabling technology for constructing complex systems (Abstract)

T.P. Justice , Dept. of Comput. Sci., Oregon State Univ., Corvallis, OR, USA
T.A. Budd , Dept. of Comput. Sci., Oregon State Univ., Corvallis, OR, USA
R.K. Pandey , Dept. of Comput. Sci., Oregon State Univ., Corvallis, OR, USA
pp. 334

PolyCARE: a tool for re-engineering multi-language program integrations (Abstract)

P.K. Linos , Dept. of Comput. Sci., Tennessee Technol. Univ., Cookeville, TN, USA
pp. 338
Parallel Session XII.b (Dependable and Fault-Tolerant Real-Time Systems), Chair: Y. Yamaguchi

Formal specification of real-time dependable systems (Abstract)

R.B. France , Dept. of Comput. Sci. & Eng., Florida Atlantic Univ., Boca Raton, FL, USA
E.B. Fernandez , Dept. of Comput. Sci. & Eng., Florida Atlantic Univ., Boca Raton, FL, USA
pp. 342

Using speculative execution for fault tolerance in a real-time system (Abstract)

M.F. Younis , Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
G. Tsai , Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
T.J. Marlowe , Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
A.D. Stoyenko , Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
pp. 349

Architecture specifications for complex real-time dependable systems (Abstract)

S. Vestal , Honeywell Technol. Cente, Minneapolis, MN, USA
P. Binns , Honeywell Technol. Cente, Minneapolis, MN, USA
pp. 357
Parallel Session XII.c (Software and Systems Engineering), Chair: F. Cottet

MULTIGRAPH: an architecture for model-integrated computing (Abstract)

C. Biegl , Dept. of Electr. & Comput. Eng., Vanderbilt Univ., Nashville, TN, USA
A. Ledeczi , Dept. of Electr. & Comput. Eng., Vanderbilt Univ., Nashville, TN, USA
T. Bapty , Dept. of Electr. & Comput. Eng., Vanderbilt Univ., Nashville, TN, USA
A. Misra , Dept. of Electr. & Comput. Eng., Vanderbilt Univ., Nashville, TN, USA
G. Karsai , Dept. of Electr. & Comput. Eng., Vanderbilt Univ., Nashville, TN, USA
J. Sztipanovits , Dept. of Electr. & Comput. Eng., Vanderbilt Univ., Nashville, TN, USA
pp. 361

Specifying fault tolerance in large complex computing systems (Abstract)

M.M. Hugue , Opsimath Res., Bowie, MD, USA
R.C. Scalzo , Opsimath Res., Bowie, MD, USA
pp. 369

A requirements taxonomy for specifying complex systems (Abstract)

M. Edwards , Adv. Technol. & Dev. Center, Northrop Grumman, Bethpage, NY, USA
S. White , Adv. Technol. & Dev. Center, Northrop Grumman, Bethpage, NY, USA
pp. 373
Parallel Session XIII.a (High Performance Architectures), Chair: J. Vasell

Bridging structural and software design of PLC-based system families (Abstract)

G. Gadda , Dipartimento di Sci. dell'Ingegneria, Modena Univ., Italy
F. Bonfatti , Dipartimento di Sci. dell'Ingegneria, Modena Univ., Italy
P.D. Monari , Dipartimento di Sci. dell'Ingegneria, Modena Univ., Italy
pp. 377

A parallel control computer structure for complex high speed applications (Abstract)

B. Magnussen , Inst. for Real-Time Comput. Syst. & Robotics, Karlsruhe Univ., Germany
pp. 385
Parallel Session XIII.b (Testing and Assessment), Chair: T. Marlowe

Multivariate assessment of complex software systems: a comparative study (Abstract)

E.B. Allen , Dept. of Comput. Sci. & Eng., Florida Atlantic Univ., Boca Raton, FL, USA
T.M. Khoshgoftaar , Dept. of Comput. Sci. & Eng., Florida Atlantic Univ., Boca Raton, FL, USA
pp. 389

Ensuring the satisfaction of a temporal specification at run-time (Abstract)

G. Tsai , Dept. of Math. & Comput. Sci., Fairleigh Dickinson Univ., Teaneck, NJ, USA
M. Insall , Dept. of Math. & Comput. Sci., Fairleigh Dickinson Univ., Teaneck, NJ, USA
B. McMillin , Dept. of Math. & Comput. Sci., Fairleigh Dickinson Univ., Teaneck, NJ, USA
pp. 397

Large complex system test: objectives and approaches (Abstract)

Mei-Chen Hsueh , Digital Equipment Corp., USA
pp. 405
Keynote Speech
Common Session XIV (Deliberate Potpourri), Chair: P. Laplante

Refinement of system-level designs using hybrid modeling (Abstract)

M. Meyassed , Dept. of Electr. Eng., Virginia Univ., Charlottesville, VA, USA
J.H. Aylor , Dept. of Electr. Eng., Virginia Univ., Charlottesville, VA, USA
R.M. McGraw , Dept. of Electr. Eng., Virginia Univ., Charlottesville, VA, USA
R.D. Williams , Dept. of Electr. Eng., Virginia Univ., Charlottesville, VA, USA
R.H. Klenke , Dept. of Electr. Eng., Virginia Univ., Charlottesville, VA, USA
pp. 409

The DELPHI experiment control system (Abstract)

J.J. Schwarz , Eur. Org. for Nucl. Res., CERN, Geneva, Switzerland
C. Gaspar , Eur. Org. for Nucl. Res., CERN, Geneva, Switzerland
pp. 417

A construction of neural-net based AI systems (Abstract)

Xu Wu , Dept. of Electron. Eng., Hiroshima Univ., Japan
M. Kawada , Dept. of Electron. Eng., Hiroshima Univ., Japan
T. Ae , Dept. of Electron. Eng., Hiroshima Univ., Japan
pp. 424

Index of Authors (PDF)

pp. 429
79 ms
(Ver 3.3 (11022016))