Sciweavers

5457 search results - page 332 / 1092
» Clinical requirements engineering
Sort
View
APSEC
2005
IEEE
16 years 12 days ago
A Formal Semantics of Timed Activity Diagrams and its PROMELA Translation
The lack of a precise semantics for UML activity diagrams makes the reasoning on models constructed using such diagrams infeasible. However, such diagrams are widely used in domai...
Nicolas Guelfi, Amel Mammar
AUIC
2005
IEEE
16 years 12 days ago
The Semiotics of User Interface Redesign
User interface design is still more of an art than a science. Interface design and redesign is mostly based on empirical studies or prototypes but there is still surprisingly litt...
Jennifer Ferreira, Pippin Barr, James Noble
CSMR
2005
IEEE
16 years 12 days ago
Towards the Automatic Evolution of Reengineering Tools
Building reverse engineering or reengineering tools often requires parsers for many different programming languages. The diffusion of dialects and variants makes many available pa...
Massimiliano Di Penta, Kunal Taneja
EWSA
2005
Springer
16 years 9 days ago
On the Systematic Conformance Check of Software Artefacts
Abstract. In this paper we present a systematic check of the conformance of the implemented and the intended software architecture. Nowadays industry is confronted with rapidly evo...
Hylke W. van Dijk, Bas Graaf, Rob Boerman
CSCW
2004
ACM
16 years 6 days ago
Collaborative modeling: hiding UML and promoting data examples in NEMo
Domain experts are essential for successful software development, but these experts may not recognize their ideas when abstracted into Unified Modeling Language (UML) or ontologie...
Patricia K. Schank, Lawrence Hamel