851 search results - page 43 / 171 » Synthesis of Distributed Systems from Knowledge-Based Specif... |
127
Voted
DATE
1999
IEEE
15 years 7 months ago
1999
IEEE
There is an increasing research interest in system level design languages which can carry designers from specification to implementation of system-on-a-chip. Unfortunately, two of...
143
Voted
SAC
2004
ACM
15 years 8 months ago
2004
ACM
for ideas, and then abstract away from these ideas to produce algorithmic processes that can create problem solutions in a bottom-up manner. We have previously described a top-dow...
141
Voted
ECBS
2006
IEEE
15 years 8 months ago
2006
IEEE
In this paper we argue for UML-based metamodeling and pattern-based graph transformation techniques in computer-based systems development through an illustrative example from the ...
125
Voted
ICSE
2008
IEEE-ACM
16 years 3 months ago
2008
IEEE-ACM
Program specifications are important in many phases of the software development process, but they are often omitted or incomplete. An important class of specifications takes the f...
114
Voted
ECLIPSE
2007
ACM
15 years 6 months ago
2007
ACM
In this paper we detail the design and implementation of an Eclipse plug-in that supports construction, analysis and elaboration of Modal Transition Systems. The plug-in supports ...