15885 search results - page 2574 / 3177 » Strategic Software Engineering |
279
click to vote
WWW
2004
ACM
16 years 8 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...
154
click to vote
WWW
2003
ACM
16 years 8 months ago
2003
ACM
Web Engineering projects face problems when it comes to reveal the Web users' requirements. This is due to the fact that users ? the clients of a Web application ? have diffi...
324
click to vote
ICFP
2009
ACM
16 years 8 months ago
2009
ACM
We report on our experience using Haskell as an executable specification language in the formal verification of the seL4 microkernel. fication connects an abstract operational spe...
192
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
This paper is concerned with the problem of computing the image of a set by a polynomial function. Such image computations constitute a crucial component in typical tools for set-b...
183
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
Working as a usability professional in the open source arena is a challenging task. The decentralized and engineering-driven approach of open source projects can be at odds with c...