1099 search results - page 6 / 220 » A Formal Approach to Domain-Oriented Software Design Environ... |
ICECCS
2007
IEEE
15 years 3 months ago
2007
IEEE
Abstract—Plugin-based application design has become increasingly popular in recent years, and has contributed to the success of a range of very different applications including ...
102
Voted
FDL
2004
IEEE
15 years 1 months ago
2004
IEEE
This paper proposes a formal verification methodology which is smoothly integrated with component-based system-level design, using a divide and conquer approach. The methodology a...
CODES
1996
IEEE
15 years 1 months ago
1996
IEEE
The TaSCA environment for hardware/software co-design of control dominated systems implemented on a single chip includes a novel approach to the system exploration phase for the e...
WOSP
2000
ACM
15 years 1 months ago
2000
ACM
In this paper we present a formal approach to analyse performance for distributed systems, which is integrated in the early stages of the software development process. We propose ...
65
Voted
UML
2001
Springer
15 years 1 months ago
2001
Springer
: Though it is widely recognized that object-oriented methodologies are most effective in developing large scale software, it is still dif cult to apply high level computer support...