4476 search results - page 144 / 896 » Modeling software architectures in the Unified Modeling Lang... |
107
click to vote
ER
2003
Springer
15 years 7 months ago
2003
Springer
The integration of heterogeneous legacy databases requires understanding of database structure and content. We previously developed a theoretical and software infrastructure to sup...
119
click to vote
BIRTHDAY
2008
Springer
15 years 3 months ago
2008
Springer
We illustrate two ways to address the specification, modelling and analysis of dynamic software architectures using: i) ordinary typed graph transformation techniques implemented i...
135
click to vote
EACL
2006
ACL Anthology
15 years 3 months ago
2006
ACL Anthology
We place synchronous tree-adjoining grammars and tree transducers in the single overarching framework of bimorphisms, continuing the unification of synchronous grammars and tree t...
115
click to vote
FASE
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. This paper describes a specialised logic for proving specifications in the Java Modeling Language (JML). JML is an interface specification language for Java. It allows ...
UIST
2000
ACM
15 years 6 months ago
2000
ACM
Existing devices for communicating information to computers are bulky, slow to use, or unreliable. Dasher is a new interface incorporating language modelling and driven by continu...