Ninth Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems : proceedings, 8-11 April 2002, Lund, Sweden

>> Google Books

所蔵情報QRコード

Ninth Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems : proceedings, 8-11 April 2002, Lund, Sweden / sponsored by IEEE Computer Society Technical Committee on Engineering of Computer-Based Systems

資料種別:

図書

出版情報:

Los Alamitos, Calif. : IEEE Computer Society, c2002

形態:

x, 277 p. ; 28 cm

著者名:

IEEE Symposium and Workshop on Engineering of Computer-Based Systems
IEEE Computer Society. Technical Committee on the Engineering of Computer Based Systems <DA09948459>

ISBN:

9780769515496 [0769515495]
9780769515502 [0769515509] (: case)

書誌ID:

BA64350196

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

その他の標題:

ECBS 2002

注記:

Includes bibliographical references and index

主題:

Computers--Congresses; Systems engineering--Congresses

言語:

英語

目次情報:

Preface

Committees

Session: Requirements Engineering

On Some Key Requirements of Mobile Application Software / V. De Florio ; G. Deconinck

Towards Recyclable System Requirements / I. Alexander ; F. Kiedaisch

Requirements Engineering for Time-to-Market Projects / C. McPhee ; A. Eberlein

Session: Processes and Tools

VSPEC and Its Integrated Tool Suite / M. Rangarajan ; K. Jambhekar ; A. Rajkhowa ; P. Alexander

Who Does What in a Multiagent System for Emergent Process Management / J. Debenham

Understanding Software Processes through System Dynamics Simulation: A Case Study / C. Andersson ; L. Karlsson ; J. Nedstam ; M. Host ; B. Nilsson

Session: System Properties, Methods

REL: A Fault Tolerance Linguistic Structure for Distributed Applications

A Formal Software Verification Concept Based on Automated Theorem Proving and Reverse Engineering / M. Popovic ; V. Kovacevic ; I. Velikic

FRAME for Achieving Performance Portability within Heterogeneous Environments / R.-S. Ko ; M. Mutka

Session: System Properties, Method Application

Improving Multiprocessor Performance of a Large Telecommunication System by Replacing Interpretation with Compilation / V. Mejstad ; K.-J. Tangby ; L. Lundberg

Flexible Development of Dependability Services: An Experience Derived from Energy Automation Systems / S. Donatelli ; G. Dondossola

An Intelligent Agent Security Intrusion System / J. Pikoulas ; W. Buchanan ; M. Mannion ; K. Triantafyllopoulos

Session: Modelling and Analysis

Managing Complex Temporal Requirements in Real-Time Control Systems / K. Sandstrom ; C. Norstrom

On the Relation between Design Contracts and Errors: A Software Development Strategy / E. Nordby ; M. Blom ; A. Brunstrom

An Experimental Evaluation of Programming by Contract

Session: System Architecture

What Is Included in Software Architecture? A Case Study in Three Software Organizations / K. Smolander ; K. Hoikka ; J. Isokallio ; M. Kataiokko ; T. Makela

Architecture-Based Visualisation of Computer Based Systems / M. Denfor ; T. O'Neill ; J. Leaney

Top-Down Composition of Software Architectures / H. de Bruin ; H. van Vliet

Session: Model-Based System Development

Refinement of Model Specifications in Embedded Systems Design / S. Schulz ; J. Rozenblit

Improving Quality Attributes of a Complex System through Architectural Analysis - A Case Study / R. Land

Session: Component-Based Design and Reuse

A Systematic Method of Reusing Objects Extracted from Legacy Systems / J. Guo

Using Category Theory to Model Software Component Dependencies

Session: Embedded Systems, Development and Training

An Integrated Framework for Sensor-Based Embedded Systems / M. Sveda ; R. Vrba

Optimization of a Retargetable Functional Simulator for Embedded Processors / F. Papariello ; G. Luculli

Bridging the Educational Gap in Embedded Systems Curricula: Developing an E-commerce Audio Streaming System / M. Leeman ; F. Barat

Workshop Reports

Workshop on Component-Based Software Engineering: Composing Systems from Components / I. Crnkovic ; S. Larsson ; J. Stafford

Formal Specifications of Computer-Based Systems / C. Rattray

Conference Session and Workshop on Performance, Interoperability, and Applications of Mobile Agent Systems / V. Roth ; P. Braun ; W. Rossak

Workshop Session: Mobile Agents

An Extensible Software Architecture for Mobile Components / D. Johansen ; K. Lauvset ; K. Marzullo

Mobile Agent Interoperability Patterns and Practice / U. Pinsdorf

Advanced Petri Nets for Modelling Mobile Agent Enabled Interorganizational Workflows / S. Ling ; S. Loke

Factoring Mobile Agents

A Comparative Evaluation of Mobile Agent Performance for Network Management / L. Tang ; B. Pagurek

InterMarket - Towards Intelligent Mobile Agent e-Marketplaces / R. Kowalczyk ; B. Franczyk ; A. Speck ; J. Eismann

Author Index

Preface

Committees

Session: Requirements Engineering

On Some Key Requirements of Mobile Application Software / V. De Florio ; G. Deconinck

Towards Recyclable System Requirements / I. Alexander ; F. Kiedaisch

Requirements Engineering for Time-to-Market Projects / C. McPhee ; A. Eberlein

続きを見る

東工大ブックレビュー

類似資料:

1 図書 1994 Tutorial and Workshop on Systems Engineering of Computer-Based Systems : proceedings, May 24-27, 1994, Stockholm, Sweden (microfiche) Tutorial and Workshop on Systems Engineering of Computer-Based Systems, Lawson, Harold W., Sweden. Försvarets … IEEE Computer Society Press	7 図書 Proceedings of the Ninth International Symposium on Hardware/Software Codesign : CODES 2001, April 25-27, 2001, Copenhagen, Denmark International Workshop on Hardware/Software Codesign, ACM SIGDA, ACM Sigsoft, IEEE Computer Society. Design Automation … ACM
2 図書 Proceedings, 12th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems : 4-7 April, 2005, Greenbelt, Maryland IEEE International Conference and Workshop on the Engineering of Computer Based Systems, Rozenblit, Jerzy, O'Neill, Tim, … IEEE Computer Society	8 図書 Ninth Annual International Phoenix Conference on Computers and Communications : 1990 conference proceedings, March 21-23, 1990, Wyndham Paradise Valley Resort, … (paper ; case ; microfiche) International Phoenix Conference on Computers and Communications, Institute of Electrical and Electronics Engineers, … IEEE Computer Society Press
3 図書 Proceedings, IEEE Symposium and Workshop on Engineering of Computer-Based Systems, March 11-15, 1996, Friedrichshafen, Germany IEEE Symposium and Workshop on Engineering of Computer-Based Systems, IEEE Computer Society. Technical Committee on the … IEEE Computer Society Press	9 図書 Proceedings of 1994 IEEE Region 10's Ninth Annual International Conference : theme: frontiers of computer technology : 22-26 August, 1994, Singapore (: softbound - v. 2) Trends in Electronics Conference, Chan, Tony K.Y., Institute of Electrical and Electronics Engineers. Singapore Section, … IEEE Service Center
4 図書 Proceedings, 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems : ECBS 2004, 24-27 May, 2004, Brno, Czech Republic (pbk.) IEEE International Conference and Workshop on the Engineering of Computer Based Systems, Dvořák, Václav, Sveda, … IEEE Computer Society	10 図書 Computers in engineering, 1985 : proceedings of the 1985 ASME International Computers in Engineering Conference and Exhibition, August 4-8, 1985, Boston, … (v. 1 ; v. 2 ; v. 3) ASME International Computers in Engineering Conference and Exhibition, Rohde, S. M. (Steve M.), American Society of … American Society of Mechanical Engineers
5 図書 Proceedings, International Conference and Workshop on Engineering of Computer-Based Systems : March 24-28, 1997, Monterey, California IEEE Symposium and Workshop on Engineering of Computer-Based Systems, Rozenblit, Jerzy, Ewing, Tony, Schulz, Stephan, … IEEE Computer Society Press	11 図書 1994 IEEE 13th Annual International Phoenix Conference on Computers and Communications, Phoenix, Arizona, U.S.A., April 12-15, 1994 (: soft. ; : case. ; : micro.) International Phoenix Conference on Computers and Communications, Institute of Electrical and Electronics Engineers, … Additional copies may be ordered from IEEE Service Center
6 図書 Proceedings, 10th IEEE International Conference on Engineering of Complex Computer Systems : ICECCS 2005 : 16-20 June 2005, Shanghai, China IEEE International Conference on Engineering of Complex Computer Systems, IEEE Computer Society. Technical Committee on … IEEE Computer Society	12 図書 Proceedings Third International Conference on Requirements Engineering, April 6-10, 1998, Colorado Springs, Colorado, USA (: paper ; : microfiche) International Conference on Requirements Engineering, IEEE Computer Society. Software Engineering Technical Committee IEEE Computer Society