The proceedings contain 19 papers from the Eighth Annual IEEE internationalconference and workshop on the engineering of computerbasedsystems. Topics discussed include: XML based security;system composition strateg...
详细信息
The proceedings contain 19 papers from the Eighth Annual IEEE internationalconference and workshop on the engineering of computerbasedsystems. Topics discussed include: XML based security;system composition strategies;optimum information queue length;coverage based test-case generation;fault adaptive control;developing instance based model;sensor networking;visual composition with SDL beans;ambulance despatch systems;and formal specifications for computerbasedsystems.
The proceedings contains 70 papers from the 11th IEEE internationalconference and workshop on the engineering of computer-basedsystems. The topics discussed include domain independent generative modeling;a compariti...
详细信息
ISBN:
(纸本)0769521258
The proceedings contains 70 papers from the 11th IEEE internationalconference and workshop on the engineering of computer-basedsystems. The topics discussed include domain independent generative modeling;a comparitive analysis of object-oriented and other methods;suffix caching techniques of streaming media based on batch patching;theory and applications of evolvable embedded systems;performance analysis of embedded systems in the virtual component;architectural description with integrated data consistency models;and formal abstract architecture for use case specifications.
The proceedings contain 39 papers. The topics discussed include: multigranular simulation of heterogeneous embedded systems;modeling and generation tools for large-scale, real-time embedded systems;component behavior ...
ISBN:
(纸本)0769519172
The proceedings contain 39 papers. The topics discussed include: multigranular simulation of heterogeneous embedded systems;modeling and generation tools for large-scale, real-time embedded systems;component behavior prediction and monitoring through built-in test;systemsengineering transitions into the 21st century;trust, systems and accidents: designing complex systems;architecture-based design of computerbasedsystems;modeling workflow process models with statechart;dynamic systems development: towards continuity, growth and evolution;model-integrated design toolset for polymorphous computer-basedsystems;an approach for modeling and designing software architecture;aspect-oriented requirements engineering for software product lines;a slicing approach for parallel component adaptation;and performance modeling of interaction protocols for component-based system design using object-oriented simulation.
The proceedings contain 34 papers. The topics discussed include: on some key requirements of mobile application software;requirements engineering for time-to-market projects;towards recyclable system requirements;a fo...
ISBN:
(纸本)0769515495
The proceedings contain 34 papers. The topics discussed include: on some key requirements of mobile application software;requirements engineering for time-to-market projects;towards recyclable system requirements;a formal software verification concept based on automated theorem proving and reverse engineering;who does what in a multiagent system for emergent process management;understanding software processes through system dynamics simulation: a case study;VSPEC and its integrated tool suite;refinement of model specifications in embedded systems design;top-down composition of software architectures;what is included in software architecture? a case study in three software organizations;on the relation between design contracts and errors: a software development strategy;managing complex temporal requirements in real-time control systems;an experimental evaluation of programming by contract;architecture-based visualisation of computerbasedsystems;and improving quality attributes of a complex system through architectural analysis -a case study.
The proceedings contain 37 papers. The topics discussed include: using integrative models in an advanced heterogeneous system simulation;CQML: aspect-oriented modeling for modularizing and weaving QoS concerns in comp...
ISBN:
(纸本)9780769536026
The proceedings contain 37 papers. The topics discussed include: using integrative models in an advanced heterogeneous system simulation;CQML: aspect-oriented modeling for modularizing and weaving QoS concerns in component-basedsystems;application capturing and performance estimation in an holistic design environment;raising the abstraction of domain-specific model translator development;a task tree executor: new runtime for parallelized legacy software;semantically enhanced containers for concurrent real-time systems;modeling and analysis of probabilistic timed systems;distributed BMC: a depth-first approach to explore clause symmetry;software architectural design meets security engineering;tradeoff and sensitivity analysis of a hybrid model for ranking commercial off-the-shelf products;a penny saved is a penny earned: applying optimization techniques to power management;and validating and dynamically adapting and composing features in concurrent product-lines applications.
Presents the table of contents of the 11th IEEE internationalconference and workshop on the engineering of computer-basedsystems - ECBS 2004 proceedings.
Presents the table of contents of the 11th IEEE internationalconference and workshop on the engineering of computer-basedsystems - ECBS 2004 proceedings.
暂无评论