Stop the war!
Остановите войну!
for scientists:
default search action
9th ECBS 2002: Lund, Sweden
- 9th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2002), 8-11 April 2002, Lund, Sweden. IEEE Computer Society 2002, ISBN 0-7695-1549-5
Requirements Engineering
- Vincenzo De Florio, Geert Deconinck:
On Some Key Requirements of Mobile Application Software. 3-8 - Ian F. Alexander, Friedemann Kiedaisch:
Towards Recyclable System Requirements. 9-16 - Christopher McPhee, Armin Eberlein:
Requirements Engineering for Time-to-Market Projects. 17-
Processes and Tools
- Murali Rangarajan, Kshama Jambhekar, Amitvikram Rajkhowa, Perry Alexander:
VSPEC and Its Integrated Tool Suite. 27-34 - John K. Debenham:
Who Does What in a Multiagent System for Emergent Process Management. 35-40 - Carina Andersson, Lena Karlsson, Josef Nedstam, Martin Höst, Bertil I. Nilsson:
Understanding Software Processes through System Dynamics Simulation: A Case Study. 41-
System Properties, Methods
- Vincenzo De Florio, Geert Deconinck:
REL: A Fault Tolerance Linguistic Structure for Distributed Applications. 51-58 - Miroslav Popovic, Vladimir Kovacevic, Ivan Velikic:
A Formal Software Verification Concept Based on Automated Theorem Proving and Reverse Engineering. 59-66 - Ren-Song Ko, Matt W. Mutka:
FRAME for Achieving Performance Portability within Heterogeneous Environments. 67-
System Properties, Method Application
- Valdemar Mejstad, Karl-Johan Tångby, Lars Lundberg:
Improving Multiprocessor Performance of a Large Telecommunication System by Replacing Interpretation with Compilation. 77-85 - Vincenzo De Florio, Susanna Donatelli, Giovanna Dondossola:
Flexible Development of Dependability Services: An Experience Derived from Energy Automation Systems. 86-93 - John Pikoulas, William J. Buchanan, Mike Mannion, Kostas Triantafyllopoulos:
An Intelligent Agent Security Intrusion System. 94-
Modelling and Analysis
- Kristian Sandström, Christer Norström:
Managing Complex Temporal Requirements in Real-Time Control Systems. 103-109 - Eivind J. Nordby, Martin Blom, Anna Brunström:
On the Relation between Design Contracts and Errors: A Software Development Strategy. 110-117 - Martin Blom, Eivind J. Nordby, Anna Brunström:
An Experimental Evaluation of Programming by Contract. 118-
System Architecture
- Kari Smolander, Kimmo Hoikka, Jari Isokallio, Mika Kataiokko, Teemu Mäkelä:
What Is Included in Software Architecture? A Case Study in Three Software Organizations. 131-138 - Mark Denford, Tim O'Neill, John Leaney:
Architecture-Based Visualisation of Computer Based Systems. 139-146 - Hans de Bruin, Hans van Vliet:
Top-Down Composition of Software Architectures. 147-
Model-Based System Development
- Stephan Schulz, Jerzy W. Rozenblit:
Refinement of Model Specifications in Embedded Systems Design. 159-166 - Rikard Land:
Improving Quality Attributes of a Complex System through Architectural Analysis - A Case Study. 167-
Component-Based Design and Reuse
- Jiang Guo:
A Systematic Method of Reusing Objects Extracted from Legacy Systems. 177-184 - Jiang Guo:
Using Category Theory to Model Software Component Dependencies. 185-
Embedded Systems, Development and Training
- Miroslav Svéda, Radimir Vrba:
An Integrated Framework for Sensor-Based Embedded Systems. 195-202 - Francesco Papariello, Gabriele Luculli:
Optimization of a Retargetable Functional Simulator for Embedded Processors. 203-210 - Marc Leeman, Francisco Barat, Vincenzo De Florio, Geert Deconinck:
Bridging the Educational Gap in Embedded Systems Curricula: Developing an E-commerce Audio Streaming System. 211-
Workshop Reports
- Ivica Crnkovic, Stig Larsson, Judith A. Stafford:
Workshop on Component-Based Software Engineering: Composing Systems from Components. 223 - Miroslav Svéda, Charles Rattray, Jerzy W. Rozenblit:
Formal Specifications of Computer-Based Systems. 224-225 - Volker Roth, Peter Braun, Wilhelm R. Rossak:
Conference Session and Workshop on Performance, Interoperability, and Applications of Mobile Agent Systems. 226-
Workshop Session: Mobile Agents
- Dag Johansen, Kåre J. Lauvset, Keith Marzullo:
An Extensible Software Architecture for Mobile Components. 231-237 - Ulrich Pinsdorf, Volker Roth:
Mobile Agent Interoperability Patterns and Practice. 238-244 - Sea Ling, Seng Wai Loke:
Advanced Petri Nets for Modelling Mobile Agent Enabled Interorganizational Workflows. 245-252 - Kåre J. Lauvset, Dag Johansen, Keith Marzullo:
Factoring Mobile Agents. 253-257 - Li Tang, Bernard Pagurek:
A Comparative Evaluation of Mobile Agent Performance for Network Management. 258-267 - Ryszard Kowalczyk, Bogdan Franczyk, Andreas Speck, Peter Braun, Jan Eismann, Wilhelm R. Rossak:
InterMarket - Towards Intelligent Mobile Agent e-Marketplaces. 268-
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.