809 search results - page 69 / 162 » Formal Semantics for the Java Modeling Language |
147
Voted
TSE
2010
15 years 27 days ago
2010
— Describing and managing activities, resources and constraints of software development processes is a challenging goal for many organizations. A first generation of Software Pro...
126
Voted
ADMA
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Social bookmarking has become an important web2.0 application recently, which is concerned with the dual user behavior to search - tagging. Although social bookmarking we...
136
click to vote
WIDM
2003
ACM
15 years 7 months ago
2003
ACM
Ontologies play an important role in the Semantic Web. Currently, several Web ontology languages have been proposed and there has been a substantial effort towards the formalizat...
137
click to vote
CAISE
2001
Springer
15 years 7 months ago
2001
Springer
The UML lacks precise and formal foundations for several constructs such as transition guards or method bodies, for which it resorts to semantic loopholes in the form of “uninter...
114
Voted
ISAS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We present formal and practical foundations for Web service composition framework with composition correctness guarantees. We introduce contractual composition model base...