7080 search results - page 50 / 1416 » Designing High Integrity Systems Using Aspects |
SIGADA
2005
Springer
15 years 4 months ago
2005
Springer
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes th...
IJSEKE
2006
14 years 11 months ago
2006
pecific models increase the level of abstraction used to develop large-scale component-based systems. Model-driven development (MDD) approaches (e.g., ModelIntegrated Computing and...
103
click to vote
SUTC
2006
IEEE
15 years 5 months ago
2006
IEEE
Design aspects and software modelling for ubiquitous real-time camera system are described in this paper. We propose system architecture using a network of inexpensive cameras and...
DATE
2002
IEEE
15 years 3 months ago
2002
IEEE
System-on-chip (SOC) design methodology is becoming the trend in the IC industry. Integrating reusable cores from multiple sources is essential in SOC design, and different design...
117
click to vote
ENTCS
2006
14 years 11 months ago
2006
Model-Driven Architecture is an approach of the OMG, its objective is to tackle problems such as: the high availability that a software product requires to be ready for use, the h...