[proceedings editors, Harold G. Ostrow, Kenneth L. Ripley]
出版情報:
Long Beach, Calif. : copies available from IEEE Computer Society , New York, NY : Institute of Electrical and Electronics Engineers, c1977 xiii, 625 p. ; 29 cm
sponsored by the American College of Radiology and the IEEE Computer Society, Newport Beach, California, June 18-21, 1979
出版情報:
New York, NY : Institute of Electrical and Electronics Engineers , Long Beach, CA : additional copies available from IEEE Computer Society, c1979 427 p. ; 28 cm
New York, NY : Institute of Electrical and Electronics Engineers , Long Beach, CA : additional copies available from, IEEE Computer Society, c1979 896 p. ; 28 cm
International Symposium on Computer Aided Seismic Analysis and Discrimination ; Institute of Electrical and Electronics Engineers ; IEEE Computer Society
出版情報:
New York, NY : Institute of Electrical and Electronics Engineers, c1981 vi, 157 p. ; 29 cm
presented by the Test Technology Committee, the International Test Formation [i.e. Foundation] ; sponsored by IEEE Computer Society, IEEE Philadelphia Section
出版情報:
Silver Spring, MD : IEEE Computer Society Press, c1982 xxiii, 672 p. ; 29 cm
edited by James R. Wilson ... [et al.] ; sponsored by American Statistical Association ... [et al.]
出版情報:
New York, NY : Association for Computing Machinery , Piscataway, NJ : Institute of Electrical and Electronics Engineers, Inc. , San Diego, CA : Society for Computer Simulation, [1987?] xxv, 890 p. ; 28 cm
Message from the ECBS Technical Committee Chairman
Conference Committee
Steering Committee
Program Committee
Keynote Speaker / Dr Bruce Shriver
Distributed Systems
Integrating CAD and CAM via CORBA / D. Yoon ; F. Shaikh
An Algorithm for Tolerating Crash Failures in Distributed Systems / V. De Florio ; G. Deconinck ; R. Lauwereins
A Choice of SM/DM Parallel ANN Implementation for Embedded Applications / V. Dvorak ; R. Cejka
Architecture 1
Architecture-Based Performance Analysis of the COLLINS Class Submarine Open System Extension (COSE) Concept Demonstrator (CD) / T. O'Neill ; J. Leaney ; P. Martyn
A Component-Based Architecture for Software Communication Systems / M. Jung ; E. Biersack
SAABNet: Managing Qualitative Knowledge in Software Architecture Assessment / J. van Gurp ; J. Bosch
Invited Paper
Limited Software Warranties / Jeffrey M. Voas
Modeling 1
Modeling and Simulating Functional and Timing Aspects of Real-Time Systems by Delegated Execution / M. Naedele
Java-Prototyping of Hardware/Software CBS Using a Behavioral OO Model / B. Mendelhaum ; R. Gallant ; J-F. Brette ; C. Ducateau
Designing a Model-Based Interaction Planner with Dialogue Analysis / J. Cook ; T. Khan
Components and Reuse 1
A Survey of Software Reuse Repositories / J. Guo ; Luqi
Information Required for the Success Geographically Distributed Software Engineering of Components and Component-Based Systems / P. Taylor ; T. Anderson ; P. Nicholl
On the Design of ORBIT / M. Rangarajan ; N. Abu-Ghazaleh ; I. Mutabanna ; D. Dieckman ; B. Farooqi ; A. Rajkhowa ; S. Doumit ; A. Venkataraman ; C. Kong ; R. Kamath ; P. Alexander
Architecture 2 / Prof Ian Sommerville
A Co-Operative Object-Oriented Architecture for Adaptive Systems / R. de Lemos
A Component-Driven Architecture for Internet-Based, Directly Reactive Information Systems / R. Stolle ; W. Rossak ; V. Kirova
Enhancing Architectural Mismatch Detection with Assumptions / S. Uchitel ; D. Yankelevich
Instrumentation and Industrial Control 1
Coupling Architectures for Low- Level Fieldbusses / M. Sveda ; R. Vrba ; F. Zezulka
The Virtual Automation Lab -- Web Based Teaching of Automation Engineering Concepts / D. Buhler ; W. Kuchlin ; G. Gruhler ; G. Nusser
Truly Distributed Control Systems Using Fieldbus Technology / A. Scott ; W. Buchanan
Instrumentation and Industrial Control 2
Component-Based Control System / A. Speck
The Use of Architecture Description Languages to Describe a Distributed Measurement System / G. Georg ; S. Seidman
Agents
Integrating the Components of an Intelligent Telecom Design Tool into an Agent-Based Framework / A. Eberlein ; R. Kremer
Monitoring of Distributed Processes with Mobile Agents / R. Kennedy ; F. Kurfess
Software Agents and Computer Network Security / J. Pikoulas ; M. Mannion
Enhancing Network Management Using Mobile Agents / M. Naylor
Components and Reuse 2
A Component Coordination Model for Customization and Composition of Component-Based System Design / M. Olarnsakul ; D. Batanov
PuLSE-I: Deriving Instances from a Product Line Infrastructure / J. Bayer ; C. Gacek ; D. Muthig ; T. Widen
Development Experiences of a Component-Based System / M. Larsson ; I. Crnkovic
Design
Multimedia Systems - On the Ergonomic Design and Evaluation of User Interfaces and System Structures / G. Schade
Formal Parameters Synthesis for Track Segments of a Subway Mesh / A. Bonifacio ; A. Moura ; J. Camargo Jr. ; J. de A. Jr.
Design Tool Integration: An Exercise in Semantic Interoperability / G. Karsai
Ensuring Structure and Behavior Correctness in Design Composition / J. Dong ; P. Alencar ; D. Cowan
Requirements and Specification 1 / Stuart Arnold
Refinement in Requirements Specification and Analysis: A Case Study / E de Jong ; J van de Pol ; J. Hooman
System Specification in Rosetta / D. Barton
Discrete Event System Specification (DEVS) and StateMate StateCharts Equivalence for Embedded Systems Modeling / S. Schulz ; T. Ewing ; J. Rozenblit
Verification and Validation
Application of Factorial Design to Validation of System Performance / T. Berling ; P. Runeson
Assisting the Definition and Execution of Test Suites for Complex Systems / J. Garbajosa ; M. Alandes ; M-A. Mahillo ; M. Piattini
Issues in Defining, Analyzing, Refining, and Specifying System Dependability Requirements / B. Melhart ; S. White
Modeling 2
Model Checking the Java Meta-Locking Algorithm / S. Basu ; S. Smolka ; O. Ward
Support for Representation of Functional Behavior Specifications in AP-233 / E. Herzog ; A. Torne
Systematic Derivation of Operational Scenarios Using ECSAM / J. Lavi ; J. Kudish
Process Support
A Java-Based CSCW Tool for Supporting Software Processes / Z. Zhiying ; L. Haipeng
Scenario-Based Software Process / K. Breitman ; J. Leite
Working Group Meetings
IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems / F. Pichler ; C. Rattray
IEEE ECBS'99 TC Architecture Working Group (AWG) Report / D. Rowe ; H. Simpson ; J. Weiss ; Z. Papp ; T. Bapty ; B. Purves ; G. Horvath ; E. de Jong
Forensic ECBS: A Situational Assessment / D. Dalcher
Smooth Seas - Rough Sailing: The Case of the Lame Ship
ECBS Education and Training Working Group Report
Standards Focus Group / H. Lawson
Author Index
Preface
Message from the ECBS Technical Committee Chairman
sponsored by IEEE Computer Society, IEEE Technical Committee on Complexity in Computing ; in cooperation with Information Processing Society of Japan ... [et. al.] ; supported by IEICE Communication Society Technical Committee on Network Revolution and Software
出版情報:
Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c2000 xiii, 240 p. ; 28 cm
Timed Multi-Threaded Formal Object Modeling Techniques / Jin Song Dong
Application of Formal Methods to Railway Systems / Jim Woodcock
Global Information Processing Technology
Opening Address / Kenji Ohmori
Invited Speech
Complexity: Concept, Causes and Control / John A. McDermid
Reactive Systems
Managing Complexity in Real-Time Reactive Systems / V. Alagar ; O. Ormandjieva ; M. Zheng
Verification Criteria for a Compositional Model for Reactive Systems / P. Bellini ; M. Bruno ; P. Nesi
Dependability Engineering of Complex Computing Systems / M. Kaaniche ; J.-C. Laprie ; J.-P. Blanquart
Parallel Sessions
System Modeling / Jeff A. OffuttSession 1:
Domain Modeling of Software Process Models / H. Gomaa ; L. Kerschberg ; G. Farrukh
Integration of the Domain Modeling Method for Families of Systems with the SOFL Formal Specification Language / S. Liu ; M. Shin
Experience Using Formal Methods for Specifying a Multi-Agent System / C. Rouff ; J. Rash ; M. Hinchey
Special Session: Network Software I / Yasushi WakaharaSession 2:
Engineering Software for the Net / Tadashi Ohta ; Mauro Pezze
Systems Development / Paolo Nesi
Distributed Development of Complex Software Systems with Object Make / Y. Sugiyama
An Intelligent-Agent Based Decision Support System for a Complex Command and Control Application / P. Petrov ; A. Stoyen
Using the Right Tool for the Job / W. Howerton
Special Session: Network Software II
Interworking among Intelligent Networks and Different Networks: Service Control Interfaces and Their Applications / R. Takeuchi ; A. Miura ; M. Yoshimi
Mobile IP Route Optimization Method for a Carrier-Scale IP Network / T. Ihara ; H. Ohnishi ; Y. Takagi
Multiple Backup Virtual Paths Reservation Problem and Its Solution / S. Inoue ; Y. Kakuda
PNNI Data Management for Dynamic Routing in ATM Network / H.-S. Shin
Closing Address / Yoshiaki Kakuda
Overcoming Software Complexity by Constructing Abstraction Hierarchies--The Principles and Applications / Shaoying Liu ; Tosiyasu L. Kunii ; Masayuki Hisada
Embedded, Concurrent, and Distributed Systems / Yoshinori Yamaguchi
Definitions of Equivalence for Transformational Synthesis of Embedded Systems / L. Cortes ; P. Eles ; Z. Peng
Scalable Data Mining with Log Based Consistency DSM for High Performance Distributed Computing / H. Hirayama ; H. Honda ; T. Yuba
Concurrent Programming Made Easy / R. Ramirez ; A. Santosa ; R. Yap
Special Session: Formal Engineering Method--SOFL
SOFL Language and Method for Software Development
Reusable Semantics for SOFL / J. Dong
Generating Test Data from SOFL Specifications / J. Offutt
Software Verification, Management, and Business Application Using SOFL / H. Tomioka ; F. Nagoya
Dynamically Detecting Relevant Program Invariants / Alexander D. Stoyen ; David Notkin
Testing and Verification
A Test Class Framework for Generating Test Cases from Z Specifications / M. Huaikou ; L. Ling
An Analysis Tool for Coupling-Based Integration Testing / A. Abdurazik ; R. Alexander
Evaluation of Three Specification-Based Testing Criteria / P. Ammann ; W. Ding
Automated Result Verification with AWK / B. Bakar ; T. Janowski
Principles and Mechnisms for Evolving Software Systems: A Report from a Project on Software Evolution Principles / Tetsuo Tamai ; Takuya Katayama
Communication and Control Systems / Kenji Toda
Reducation of the Number of Terminal Assisgnments for Detecting Feature Interactions in Telecommunication Services / T. Yoneda ; T. Ohta
A Flexible Scheduling for Automobile Control Using Imprecise Computation and Its Fundamental Evaluation / F. Nakanishi ; S. Hiraike ; K. Toda
New Measure and Experimental Evaluation for Multiagent-Based Reservation of Backup Virtual Paths in ATM Networks / M. Terabe
Cost Models for Electronic Architecture Trade Studies / J. Axelsson
sponsored by UCLA Extension in participation with the IEEE Computer Society and in cooperation with the ACM Special Interest Group on Computer Graphics
出版情報:
Long Beech, Calif. : IEEE, c1975 ix, 390 p. ; 28 cm
Douglas Degroot, editor ; co-sponsored by Department of Electrical Engineering, Penn State University and the IEEE Computer Society in cooperation with the Association for Computing Machinery
出版情報:
Washington, D.C. : IEEE Computer Society Press, c1985 xx, 868 p. ; 28 cm
edited by Oris Friesen, Forouzan Golshani ; sponsored by Institite of Electrical and Electronics Engineers ; in conjunction with IEEE Computer Society ... [et al.]
出版情報:
Washington, D.C. : IEEE Computer Society Press, c1987 604 p. ; 28 cm
New York, NY : Institute of Electrical and Electronics Engineers , Los Alamitos, CA : Available from IEEE Computer Society , Piscataway, NJ : Available from IEEE Service Center, c1982 xvi, 418 p. ; 28 cm
Compcon 85, February 25-28, spring, Thirtieth IEEE Computer Society International Conference, Cathedral Hill Hotel, San Francisco, California ; sponsored by the IEEE Computer Society
出版情報:
Los Alamitos, CA : IEEE Computer Society Press, c1985 xv, 434 p. ; 28 cm
sponsored by the University of Hawaii, Department of Electrical Engineering and Department of Information and Computer Sciences ; supported by U.S. Army Research Office, Durham, U.S. National Science Foundation, in cooperation with the IEEE Computer Society ... [et al.]
出版情報:
[North Hollywood, Calif.] : Western Periodicals, c1974 248 p. ; 28 cm
sponsored by IEEE Computer Society, in cooperation with Association for Computing Machinery (ACM), Information Processing Society of Japan (IPSJ), [and] Institut national de recherche en informatique et en automatique (INRIA)
出版情報:
Silver Spring, MD : Computer Society Press, c1985 x, 561 p. ; 28 cm
sponsored by the Computer Society of the IEEE, in cooperation with the American Association of Artificial Intelligence, Sheraton Harbor Island Hotel, San Diego, California, March 14-18, 1988
出版情報:
Washington, D.C. : Computer Society of the IEEE , Los Angeles, CA : Order from IEEE Computer Society, c1988 xvii, 440 p. ; 28 cm
Why Is Software Integration So Hard? / Richard M. Soley
Legacy System
Architectural Evolution of Legacy Systems / G.T. Heineman ; A. Mehta
Some Insights into the Maintenance of Legacy Systems within Small Manufacturing and Distribution Organisations in the UK / H.M. Edwards ; G.M. Mallalieu ; J.B. Thompson
Extracting Ontologies from Legacy Systems for Understanding and Re-Engineering / H. Yang ; Z. Cui ; P. O'Brien
Database Systems
The Clustering Property of Corner Transformation for Spatial Database Applications / J.-W. Song ; K.-Y. Whang ; Y.-K. Lee ; S.-W. Kim
Object-Oriented Database Access via Reflection / R.K. Ege
ORR: Object-Relational Rapprochement / J.B. Crigler ; A. Orooji
Network Security
Protecting Information in the Web - Position Paper / E. Bertino
Formal Verification
An Industrial Application of an Integrated UML and SDL Modeling Technique / R.B. Trance ; M. Boughdadi ; R. Busser
Dynamic Software Architecture Slicing / T. Kim ; Y.-T. Song ; L. Chung ; D.T. Huynh
A Generic Approach of Static Analysis for Detecting Runtime Errors in Java Programs / X. Jia ; S. Skevoulis
A Protocol and Simulation for Distributed Communicating Firewalls / R.N. Smith ; S. Bhattacharya
Mobile Agents Protection in the Internet Environment / A. Corradi ; R. Montanari ; C. Stefanelli
Computer Network Intrusion Detection, Assessment and Prevention Based on Security Dependency Relation / S.S. Yau ; X. Zhang
Can Generic Software Be Assured?
Ensuring the Capability of COTS Products / J. Voas ; J.C. Dean
Establishing Guidelines for Suitability of COTS for a Mission Critical Application / R.J. Kohl
Cost Framework for COTS Evaluation / N.F. Schneidewind
Software Testing
Validating Software Specifications Against User Claims / C.-C. Chiang ; J.E. Urban
Generating Goal-oriented Test Cases / A. von Mayrhauser ; M. Scheetz ; E. Dahlman
CORBA Components Testing with Perception-based State Behavior / H.W. Sohn ; D.C. Kung ; P. Hsia
An Object-Oriented Architecture Supporting Web Application Testing / J.-T. Yang ; J.-L. Huang ; F.-J. Wang ; W.C. Chu
Reliable Distributed Computing
Distributed Object-Oriented Real-Time Simulation of Ground Transportation Networks with the TMO Structuring Scheme / K.H. Kim ; J. Liu ; M. Ishida ; I. Kim
Response Time Behavior of Voting Schemes for Managing Replicated Data / I.-R. Chen ; D.-C. Wang ; C.-P. Chu
Autonomous Coordination for Atomicity of Transaction in Heterogeneous Systems / Y. Tan ; I. Kaji ; K. Mori
Toward More Reliable Telecom Systems / A.M. da Silva Filho
E-Commerce
Software Design and Development
A Pattern-Based Approach to Structural Design Composition / P. Alencar ; D. Cowan ; J. Dong ; C. Lucena
Testing Extensible Design Patterns in Object-Oriented Frameworks through Scenario Templates / W.-T. Tsai ; Y. Tu ; W. Shao ; E. Ebner
A Design Pattern for Autonomous Vehicle Software Control Architectures / M.L. Nelson
Information Systems and Information Retrieval
System Scaling for Large-scale Internet-based Online Services / D. Ni ; J. Martinez ; J. Wang
A Method for Controlling Errors in Two-Class Classification / G. Felici ; F. Sun ; K. Truemper
Hierarchically Organized Neural Net Agents for Distributed Web Information Retrieval / Y.S. Choi ; S.I. Yoo ; J. Lee
Software Engineering Licensing
Licensing Software Engineers: the Computer Society Must Continue to Lead / D.J. Bagert
It's Different on the Other Side of the Pond. But Should It Be That Way?
Software Process and Management
Implementation and Evaluation of an Automatic Personal Workflow Extraction Method / A. Abeta ; K. Kakizaki
Using System Dynamics Modeling to Manage Projects / D. Sycamore ; J.S. Collofello
Cooperating Process Components / K.A. Gary ; T.E. Lindquist
Network and Mobile Systems
Multimedia Tools and Applications in the Development of a Large Complex Network System / S. Palangala ; S.P. Tolety
Supporting Preemption in Wormhole Networks / K. Knauber ; B. Chen
Performance Analysis of a Graph Model for Channel Assignment in a Cellular Network / H.C. Cankaya ; M. Iridon ; D.W. Matula
Here, There and Everywhere: The Future of Software Engineering Education
Software Engineering Education from a UK Academic's Perspective
Here, There and Everywhere: The Future of Software Engineering Education: Corporate View / B.J. Nigro
One System, Two Ideologies: Integrating the Two Worlds of Software Engineering Education / T.H. Tse
Software Architecture
Architecture-Centered Enterprise System Development and Integration Based on Distributed Object Technology Standard / K. Wreder ; Y. Deng
Object-Oriented Architectural Support for Developing Complex Systems / R. Agarwal ; G. Bruno ; M. Torchiano
Software Architecture Analysis--A Case Study / W.-L. Wang ; M.-H. Tang ; M.-H. Chen
Storage System and Caching
Merging Interval Caching with Adaptive Viewers' Bias Based Caching Strategy / B. Sonah ; M.R. Ito
A Proxy Server Structure and its Cache Consistency Mechanism at the Network Bottleneck / J.-Y. Kim ; K.-W. Cho ; K. Koh
A New Flash Memory Management for Flash Storage System / H.-J. Kim ; S.-G. Lee
Panel -- Silver-Bullet-Itis
Application of Special Interests
The Design of Agent-Based Tools for Bio-Informatics / C.-S. Liu ; W. Kuo ; L.-Y. Ch'ang ; W.-C. Lin
Validation of a Patient Headache Care Education System (PHCES) Developed from a Unified Modeling Language (UML) Domain Model / A. Khatri
Steps Toward a Theory of Coordination for Intelligent Agent Societies / P.S. Heck
A WWW Based Software Metrics Environment for Software Process Management and Software Product Quality Improvement / X. Liu ; R. Viswanathan
Distributed Shared Memory with Log Based Consistency for Scalable Data Mining / H. Hirayama ; H. Honda ; T. Yuba
Mining Weak Rules / H. Liu ; H. Lu
Software Development
Looking Beyond Software to Understand Software Design Patterns / M. Duell
sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on Fault-Tolerant Computing, IEEE Computer Society Test Technology Technical Council
出版情報:
Los Alamitos, CA. ; Tokyo : IEEE Computer Society, c1998 xiii, 405 p. ; 23 cm
4th Symposium on Small Computers in the Arts, October 25-28, 1984, Philadelphia, Pennsylvania ; sponsored by IEEE Computer Society [and] Delaware Valley Chapter ACM/SIGGRAGH [and] Small Computers in the Arts Network and in cooperation with ACM/SIGGRAPH
出版情報:
Washington, D.C. : IEEE Computer Society Press, c1984 135 p. ; 28 cm