3021 search results - page 61 / 605 » A Domain Engineering Approach for Situational Method Enginee... |
104
click to vote
CAISE
2006
Springer
15 years 3 months ago
2006
Springer
The organization of objects into classes and categories is an essential task in the process of forming concepts. Within computer science, this classification activity must be suppo...
WOSP
2004
ACM
15 years 5 months ago
2004
ACM
In this paper we present an original method of analysing the newlyrevised UML2.0 activity diagrams. Our analysis method builds on our formal interpretation of these diagrams with ...
104
click to vote
IUI
2000
ACM
15 years 4 months ago
2000
ACM
Medical information delivery for users with different levels of expertise will be required for the manned mission to Mars due to limited potential for communication with Earth. Th...
122
click to vote
FMAM
2010
14 years 9 months ago
2010
: Members of the agile programming and formal methods communities do not always see eye-to-eye. These two communities often do not talk to or learn from each other. Only recently, ...
CSC
2008
15 years 1 months ago
2008
Many applications of Mathematical Physics and Engineering are connected with the Laplacian, however, the most part of BVP relevant to the Laplacian are solved in explicit form onl...