Ensuring Structure and Behavior Correctness in Design Composition (English)
- New search for: Dong, J.
- New search for: Alencar, P.
- New search for: Cowan, D.
- New search for: IEEE
- New search for: Dong, J.
- New search for: Alencar, P.
- New search for: Cowan, D.
- New search for: IEEE
In:
Engineering of computer-based systems
;
279-289
;
2000
-
ISBN:
- Conference paper / Print
-
Title:Ensuring Structure and Behavior Correctness in Design Composition
-
Contributors:
-
Conference:Conference and workshop; 7th, Engineering of computer-based systems ; 2000 ; Edinburgh
-
Published in:Engineering of computer-based systems ; 279-289
-
Publisher:
- New search for: IEEE Computer Society Press
-
Publication date:2000-01-01
-
Size:11 pages
-
ISBN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
-
Keywords:
-
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 3
-
Integrating CAD and CAM via CORBAYoon, D.H. / Shaikh, F.Z. et al. | 2000
- 9
-
An algorithm for tolerating crash failures in distributed systemsDe Florio, V. / Deconinck, G. / Lauwereins, R. et al. | 2000
- 18
-
A choice of SM/DM parallel ANN implementation for embedded applicationsDvorak, V. / Cejka, R. et al. | 2000
- 26
-
Architecture-based performance analysis of the COLLINS class submarine open system extension (COSE) concept demonstrator (CD)O'Neill, T. / Leaney, J. / Martyn, P. et al. | 2000
- 36
-
A component-based architecture for software communication systemsJung, M. / Biersack, E.W. et al. | 2000
- 45
-
SAABNet: Managing qualitative knowledge in software architecture assessmentvan Gurp, J. / Bosch, J. et al. | 2000
- 56
-
Limited software warrantiesVoas, J.M. et al. | 2000
- 64
-
Modeling and simulating functional and timing aspects of real-time systems by delegated executionNaedele, M. et al. | 2000
- 73
-
Java-prototyping of hardware/software CBS using a behavioral OO modelMendelbaum, B.H.G. / Gallant, R. / Brette, J.-F. / Ducateau, Ch.F. et al. | 2000
- 82
-
Designing a model-based interaction planner with dialogue analysisCook, J. / Khan, T.M. et al. | 2000
- 92
-
A survey of software reuse repositoriesGuo, J. / Luqi, et al. | 2000
- 101
-
Information Required for the Success Geographically Distributed Software Engineering of Components and Component-Based SystemsTaylor, P. / Anderson, T. / Nicholl, P. / IEEE et al. | 2000
- 101
-
Information required for the successful geographically distributed software engineering of components and component-based systemsTaylor, P. / Anderson, T. / Nicholl, P. et al. | 2000
- 110
-
On the design of ORBITRangarajan, M. / Abu-Ghazaleh, N. / Mutabanna, I. / Dieckman, D.D. / Farooqi, B. / Rajkhowa, A. / Doumit, S. / Venkataraman, A. / Kong, C. / Kamath, R. et al. | 2000
- 120
-
A co-operative object-oriented architecture for adaptive systemsde Lemos, R. et al. | 2000
- 129
-
A component-driven architecture for Internet-based, directly reactive information systemsStolle, R. / Rossak, W. / Kirova, V. et al. | 2000
- 138
-
Enhancing architectural mismatch detection with assumptionsUchitel, S. / Yankelevich, D. et al. | 2000
- 148
-
Coupling architectures for low-level fieldbussesSveda, M. / Vrba, R. / Zezulka, F. et al. | 2000
- 156
-
The Virtual Automation Lab-Web based teaching of automation engineering conceptsBuhler, D. / Kuchlin, W. / Grubler, G. / Nusser, G. et al. | 2000
- 165
-
Truly distributed control systems using fieldbus technologyScott, A.V. / Buchanan, W.J. et al. | 2000
- 176
-
Component-based control systemSpeck, A. et al. | 2000
- 185
-
The use of architecture description languages to describe a distributed measurement systemGeorg, G. / Seidman, S. et al. | 2000
- 196
-
Integrating the components of an intelligent telecom design tool into an agent-based frameworkEberlein, A. / Kremer, R. et al. | 2000
- 205
-
Monitoring of distributed processes with mobile agentsKennedy, R.P. / Kurfess, F.J. et al. | 2000
- 211
-
Software agents and computer network securityPikoulas, J. / Mannion, M. / Buchanan, W. et al. | 2000
- 218
-
Enhancing network management using mobile agentsBuchanan, W.J. / Naylor, M. / Scott, A.V. et al. | 2000
- 228
-
A component coordination model for customization and composition of component-based system designOlarnsakul, M. / Batanov, D.N. et al. | 2000
- 237
-
PuLSE-I: Deriving instances from a product line infrastructureBayer, J. / Gacek, C. / Muthig, D. / Widen, T. et al. | 2000
- 246
-
Development experiences of a component-based systemLarsson, M. / Crnkovic, I. et al. | 2000
- 256
-
Multimedia systems: on the ergonomic design and evaluation of user interfaces and system structuresSchade, G. et al. | 2000
- 263
-
Formal parameters synthesis for track segments of a subway meshBonifacio, A.L. / Moura, A.V. / Camargo, J.B. / Almeida Junior, J.R. et al. | 2000
- 272
-
Design tool integration: an exercise in semantic interoperabilityKarsai, G. et al. | 2000
- 279
-
Ensuring structure and behavior correctness in design compositionJing Dong, / Alencar, P.S.C. / Cowan, D.D. et al. | 2000
- 290
-
Refinement in requirements specification and analysis: a case studyde Jong, E. / van de Pol, J. / Hooman, J. et al. | 2000
- 299
-
System specification in RosettaAlexander, P. / Kamath, R. / Barton, D. et al. | 2000
- 308
-
Discrete event system specification (DEVS) and StateMate StateCharts equivalence for embedded systems modelingSchulz, S. / Ewing, T.C. / Rozenblit, J.W. et al. | 2000
- 318
-
Application of factorial design to validation of system performanceBerling, T. / Runeson, P. et al. | 2000
- 327
-
Assisting the definition and execution of test suites for complex systemsGarbajosa, J. / Alandes, M. / Mahillo, M.-A. / Piattini, M. et al. | 2000
- 334
-
Issues in defining, analyzing, refining, and specifying system dependability requirementsMelhart, B. / White, S. et al. | 2000
- 342
-
Model checking the Java meta-locking algorithmBasu, S. / Smolka, S.A. / Ward, O.R. et al. | 2000
- 351
-
Support for representation of functional behaviour specifications in AP-233Herzog, E. / Torne, A. et al. | 2000
- 351
-
Support for Representation of Functional Behavior Specifications in AP-233Herzog, E. / Torne, A. / IEEE et al. | 2000
- 359
-
Systematic derivation of operational scenarios using ECSAMLavi, J.Z. / Kudish, J. et al. | 2000
- 368
-
A Java-based CSCW tool for supporting software processesZhou Zhiying, / Lu Haipeng, et al. | 2000
- 375
-
Scenario-based software processBreitman, K. / Sampaio do Prado Leite, J.C. et al. | 2000
- 382
-
IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based SystemsSveda, M. / Pichler, F. / Rattray, C. et al. | 2000
- 383
-
IEEE ECBS'99 TC Architecture working group (AWG) reportO'Neil, T. / Leaney, J. / Rowe, D. / Simpson, H. / Rangarajan, M. / Weiss, J. / Papp, Z. / Bapty, T. / Purves, B. / Horvath, G. et al. | 2000
- 390
-
Forensic ECBS: A Situational AssessmentDalcher, D. et al. | 2000
- 393
-
Smooth Seas - Rough Sailing: The Case of the Lame ShipDalcher, D. et al. | 2000
- 395
-
ECBS Education and Training Working Group ReportLavi, J.Z. et al. | 2000
- 397
-
Standards Focus GroupLawson, H.W. et al. | 2000
- 398
-
Author index| 2000
- i
-
Proceedings Seventh IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2000)| 2000