the proceedings contain 70 papers from the 10thieeeinternationalconference on engineering of complexcomputersystems, ICECCS 2005. the topics discussed include: software engineering approaches to Semantic Web;an i...
详细信息
the proceedings contain 70 papers from the 10thieeeinternationalconference on engineering of complexcomputersystems, ICECCS 2005. the topics discussed include: software engineering approaches to Semantic Web;an introduction to self-healing Web services;a framework for SOFL-based program review;a strategy for component-based modeling and refinement;evaluating conformance of UML models to design patterns;formal requirements-based programming for complexsystems;a slice Monad transformer and its applications in program slicing;exploiting OS-level mechanisms to implement mobile code security;and mediation systems modeling and verification.
the proceedings contain 52 papers. the topics discussed include: an analysis of formal languages for dynamic adaptation;development of autonomic management solutions for the military application domain;engineering dyn...
ISBN:
(纸本)9780769540153
the proceedings contain 52 papers. the topics discussed include: an analysis of formal languages for dynamic adaptation;development of autonomic management solutions for the military application domain;engineering dynamic adaptation for achieving cost-efficient resilience in software-intensive embedded systems;trust-based adaptation in complex service-oriented systems;a tile-based approach for self-assembling service compositions;service-based development of context-aware automotive telematics systems;modeling and implementing ontology-based publish/subscribe using semantic web technologies;effects of component-subscription network topology on large-scale data center performance scaling;using compositionality to formally model and analyze systems built of a high number of components;configuration procedure synthesis for complexsystems using model finder;and patterns for modeling time and consistency in business information systems.
the proceedings contain 37 papers. the topics discussed include: non-intrusive repair of reactive programs;bridging the gap between user requirements and configuration requirements;an experimental study on collaborati...
ISBN:
(纸本)9782954181004
the proceedings contain 37 papers. the topics discussed include: non-intrusive repair of reactive programs;bridging the gap between user requirements and configuration requirements;an experimental study on collaborative filtering for requirements engineering;analysis of use case requirements using SFTA and SFMEA techniques;control systems: phenomena and structuring functional requirement documents;design patterns for rule-based refinement of safety critical embedded systems models;an interaction-driven approach to identifying functional behaviors of service robot systems;adaptive majority-based re-routing for differentiated reliability in wireless sensor networks;self-explanation in adaptive systems;formal analysis of pervasive computing systems;heterogeneous aviation safety cases: integrating the formal and the non-formal;and a timing model for specifying multi clock automotive systems: the timing augmented description language V2.
the proceedings contain 29 papers. the topics discussed include: effective dynamic multikeys in enterprise JavaBeans;a case history of international space station requirement faults;on the complexity of design in imag...
详细信息
ISBN:
(纸本)9780769525303
the proceedings contain 29 papers. the topics discussed include: effective dynamic multikeys in enterprise JavaBeans;a case history of international space station requirement faults;on the complexity of design in imaging software;inference of design pattern instances in UML models via logic programming;integrating functional and security requirements with use case decomposition;a characterization of UML diagrams and their consistency;a UML profile enterprise information system configuration;engineering emergence;a layered behavioural model of platelets;communicating complexsystems;a tool-supported review approach to detecting structural consistency violations;integrated timed automata into Tabu algorithm for HW-SW partitioning;modelling bacterial growth patterns in the presence of antibiotic;a type system for the relational calculus of object systems;and a GRID based framework and tools for automating production of cross media content.
the proceedings contain 38 papers. the topics discussed include: WCET analysis of component-based systems using timing traces;memory positioning of real-time code for smaller worst-case execution times;tighter schedul...
ISBN:
(纸本)9780769543819
the proceedings contain 38 papers. the topics discussed include: WCET analysis of component-based systems using timing traces;memory positioning of real-time code for smaller worst-case execution times;tighter schedulability analysis of synchronization protocols based on overrun without payback for hierarchical scheduling frameworks;a model-driven framework for the development of portable real-time embedded systems;timed circus: timed CSP withthe miracle;modeling variability from requirements to runtime;model-based simulation of SOAP web services from temporal logic specifications;a fully dynamic approach to the reverse engineering of UML sequence diagrams;using model transformation to generate graphical counter-examples for the formal analysis of xUML models;modelling and analysing standard use within system of systems;and a component-oriented metamodel for the modernization of software applications.
the proceedings contain 40 papers. the topics discussed include: modular synthesis of discrete controllers;achieving discrete relative timing with untimed process algebra;model checking-based verification of web appli...
详细信息
ISBN:
(纸本)0769528953
the proceedings contain 40 papers. the topics discussed include: modular synthesis of discrete controllers;achieving discrete relative timing with untimed process algebra;model checking-based verification of web applications;a formal model for compensable transactions;a formal semantic model of the semantic web service ontology (WSMO);a novel approach to the detecting of cheating in multiplayer online games;reasoning about nonblocking concurrency using reduction;a combine approach for information flow analysis in fault tolerant hardware;a registry for sensor network discovery;an agent based approach to examining shared situation awareness;product line enabled intelligent mobile middleware;a formal contract language for plugin-based software engineering;architectural design methodologies for complex evolving systems;and communicating software architecture using a unified single-view visualization.
the proceedings contain 47 papers. the topics discussed include: continuous model driven engineering;on the increasing complexity of multimedia service provision in next generation networks and the future internet;a p...
ISBN:
(纸本)9780769537023
the proceedings contain 47 papers. the topics discussed include: continuous model driven engineering;on the increasing complexity of multimedia service provision in next generation networks and the future internet;a proof based approach for modelling and verifyingweb services compositions;ASIIST: application specific i/o integration support tool for real-time bus architecture designs;testing an open source suite for open queuing network modelling using metamorphic testing technique;architecture design for the large-scale software-intensive systems: a decision-oriented approach and the experience;towards openworld software architectures with semantic architectural styles, components and connectors;architecture driven modernization in practice - study results;energy efficient duty allocation protocols for wireless sensor network;formal modelling and analysis of business information applications with fault tolerant middleware;and formal specification and code generation of programmable logic controllers.
暂无评论