1246 search results - page 66 / 250 » Tool Support for Helping the Use of Frameworks |
CADE
2004
Springer
14 years 8 months ago
2004
Springer
Formal semantic definitions of concurrent languages, when specified in a well-suited semantic framework and supported by generic and efficient formal tools, can be the basis of pow...
TPHOL
2008
IEEE
14 years 2 months ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...
VL
2006
IEEE
14 years 1 months ago
2006
IEEE
Many end user programming tools lack adequate support for domain-specific data. We will design a lightweight representation for categories of data, called “topes,” and develop...
TAMODIA
2004
13 years 9 months ago
2004
This paper takes a pragmatic approach to the design of a task analysis support tool. Instead of proposing a new approach to analysis, it looks at the common requirements for provi...
ECOOP
2000
Springer
14 years 1 days ago
2000
Springer
The paper presents the essential features of a new member of the UML language family that supports working with object-oriented frameworks. This UML extension, called UML-F, allows...