585 search results - page 48 / 117 » Structured Formal Development in Isabelle |
106
click to vote
IWPSE
2010
IEEE
14 years 9 months ago
2010
IEEE
We describe our experiences with the process of designing a domain-specific language (DSL) and corresponding model transformations. The simultaneous development of the language an...
ICSE
2004
IEEE-ACM
15 years 5 months ago
2004
IEEE-ACM
Prior research attempts to formalize the structure of object-oriented design patterns for a more precise specification of design patterns. It also allows automation support to be ...
CSB
2003
IEEE
15 years 5 months ago
2003
IEEE
We have developed a mathematical framework for representing and testing hypotheses about gene, protein, and signaling molecule interactions. It takes a hierarchical, contradiction...
ER
1998
Springer
15 years 4 months ago
1998
Springer
The development of Internet commercial applications and corporate Intranets around the world, which uses Java as the de facto standard language, is a significant topic in modern S...
118
click to vote
AGTIVE
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Domain specific modeling languages are of increasing importance for the development of software and other systems. Meta tools are needed to support rapid development of d...