Sciweavers

3801 search results - page 262 / 761
» An Approach to Modeling Software Safety
Sort
View
AI
2004
Springer
15 years 12 months ago
A Principled Modular Approach to Construct Flexible Conversation Protocols
Building conversation protocols has traditionally been an art more than a science, as their construction is often guided by designers’ intuition rather than by a principled appro...
Roberto A. Flores, Robert C. Kremer
ICECCS
2007
IEEE
92views Hardware» more  ICECCS 2007»
15 years 10 months ago
A first approach to the closed-form specification and analysis of an autonomic control system
Control systems must increasingly be designed to involve collections of hardware and software components, both of which may evolve over the lifetime of the system, and which are e...
Simon Dobson, Eoin Bailey, Stephen Knox, Ross Shan...
ECMDAFA
2005
Springer
236views Hardware» more  ECMDAFA 2005»
16 years 3 days ago
Model-Driven Architecture for Hard Real-Time Systems: From Platform Independent Models to Code
The model-driven software development for hard real-time systems promotes the usage of the platform independent model as major design artifact. It is used to develop the software l...
Sven Burmester, Holger Giese, Wilhelm Schäfer
MSR
2009
ACM
16 years 1 months ago
Assigning bug reports using a vocabulary-based expertise model of developers
For popular software systems, the number of daily submitted bug reports is high. Triaging these incoming reports is a time consuming task. Part of the bug triage is the assignment...
Dominique Matter, Adrian Kuhn, Oscar Nierstrasz
APSEC
2006
IEEE
16 years 19 days ago
Interaction Testing in Model-Based Development: Effect on Model-Coverage
Model-based software development is gaining interest in domains such as avionics, space, and automotives. The model serves as the central artifact for the development efforts (suc...
Renée C. Bryce, Ajitha Rajan, Mats Per Erik...