467 search results - page 21 / 94 » Partial Behavioural Models for Requirements and Early Design |
156
click to vote
EUROMICRO
2006
IEEE
16 years 4 hour ago
2006
IEEE
This paper presents a modular modelling methodology to formulate the timing behaviour of real-time distributed component-based applications. It allows to build real-time models of...
161
click to vote
CAISE
2005
Springer
15 years 11 months ago
2005
Springer
Collaborative, visual design tools are typically difficult to build and evolve. We describe a meta tool for specification and generation of multiple view, multiple user visual desi...
183
click to vote
FDL
2004
IEEE
15 years 9 months ago
2004
IEEE
The steadily increasing complexity of embedded systems requires comprehensive methodoloat support the design process from the highest possible abstraction level. In most of the cu...
127
click to vote
RSP
1999
IEEE
15 years 10 months ago
1999
IEEE
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...
165
Voted
EMSOFT
2007
Springer
16 years 3 days ago
2007
Springer
Architecture description languages are used to describe both the hardware and software architecture of an application, at system-level. The basic software components are intended ...