1021 search results - page 57 / 205 » Design of a Specification Language by Abstract Syntax Engine... |
128
click to vote
EMSOFT
2010
Springer
15 years 25 days ago
2010
Springer
We propose a technique to automatically synthesize programs and schedules for hard real-time distributed (embedded) systems from synchronous data-flow models. Our technique connec...
125
click to vote
KBSE
1994
IEEE
15 years 7 months ago
1994
IEEE
This paper describes a formal approach to domain-oriented software design environments, based on declarative domain theories, formal specifications, and deductive program synthesi...
135
click to vote
JOT
2007
15 years 2 months ago
2007
In this paper we present an overview of the capabilities of the Systems Modeling Language (SysML.) SysML is a standard from the Object Management Group. It is geared toward increm...
146
click to vote
ER
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. The UML-based Specification Environment (USE) tool supports the syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/pos...
109
Voted
IIWAS
2008
15 years 4 months ago
2008
Based on top of Web protocols and XML language, Web services are emerging as a framework to provide applicationto-application interaction. An important challenge is their integrat...