4258 search results - page 479 / 852 » Languages and Interactive Software Development |
212
Voted
WWW
2004
ACM
16 years 5 months ago
2004
ACM
This paper presents automatic generation of the Web Ontology Language (OWL) from an UML model. The solution is based on an MDA-defined architecture for ontology development and th...
142
click to vote
TPHOL
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...
127
click to vote
ECWEB
2005
Springer
15 years 10 months ago
2005
Springer
Many approaches have been developed for modeling the functional aspects of Web applications, but there is a lack of a modeling language for their architectural concerns. This paper...
132
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
Aspect oriented design (AOD) research is fragmented. Barriers to AOD adoption are, in part, due to the fragmented nature of AOD research. Individually, many approaches provide ele...
113
click to vote
SAC
2004
ACM
15 years 10 months ago
2004
ACM
This work presents an object-oriented calculus based on higher-order mixin construction via mixin composition, where some software engineering requirements are modeled in a formal ...