5457 search results - page 181 / 1092 » Clinical requirements engineering |
161
click to vote
MKM
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Due to their rapidly increasing amount, maintaining mathematical documents more and more becomes an engineering task. In this paper, we combine the projects MMiSS3 and CD...
189
click to vote
UML
2005
Springer
16 years 1 days ago
2005
Springer
Understanding and maintenance of complex information spaces is often supported through visual interfaces. These interfaces must be highly flexible in order to adapt to both the u...
173
click to vote
TYPES
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The prototype of a content based search engine for mathematical knowledge supporting a small set of queries requiring matching and/or typing operations is described. The ...
198
click to vote
AGENTS
2001
Springer
15 years 11 months ago
2001
Springer
Our goal in this paper is to introduce and motivatea methodology, called Tropos, for building agent oriented software systems. Tropos is based on two key ideas. First, the notion ...
138
click to vote
ERSHOV
2001
Springer
15 years 11 months ago
2001
Springer
We argue that there is a gap between software engineering cultivated in the universities and industrial software development. We believe that it is possible to get academia and ind...