5972 search results - page 237 / 1195 » Extending Design Environments to Software Architecture Desig... |
136
click to vote
COMPSAC
2004
IEEE
15 years 9 months ago
2004
IEEE
: We concentrate on two major aspects of reactive system design: behavior control and modularity. These are studied from a formal point of view, within the framework of action syst...
189
click to vote
JSW
2006
15 years 5 months ago
2006
Abstract-- Leveraging service oriented programming paradigm would significantly affect the way people build software systems. However, to achieve this goal a solid software design ...
173
click to vote
ACMSE
2004
ACM
15 years 11 months ago
2004
ACM
Eclipse is a Java integrated development environment (IDE) and tool integration platform that offers numerous extension points for customization through a plug-in architecture. Th...
157
click to vote
EUROMICRO
2007
IEEE
16 years 5 days ago
2007
IEEE
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
151
click to vote
CODES
2006
IEEE
15 years 12 months ago
2006
IEEE
This paper presents a methodology to combine Transaction Level Modeling and System/Network co-simulation for the design of networked embedded systems. As a result, a new design di...