4469 search results - page 120 / 894 » A Language for Role Specifications |
139
click to vote
JWSR
2006
15 years 4 months ago
2006
The Semantic Web promises automated invocation, discovery, and composition of Web services by enhancing services with semantic descriptions. An upper ontology for Web services cal...
158
click to vote
SEKE
2010
Springer
15 years 2 months ago
2010
Springer
Abstract--Property specification is still one of the most challenging tasks for transference of software verification technology like model checking. The use of patterns has been p...
155
click to vote
ICST
2009
IEEE
15 years 2 months ago
2009
IEEE
Manual reviews and inspections of software artefacts are time consuming and thus, automated analysis tools have been developed to support the quality assurance of software artefac...
132
click to vote
ISJ
2008
15 years 4 months ago
2008
Abstract. This paper explores the role of transactive memory in enabling knowledge transfer between globally distributed teams. While the information systems literature has recentl...
139
click to vote
FASE
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Model-driven development is a field within software engineering in which software artifacts are represented as models in order to improve productivity, quality, and cost ...