Sciweavers

586 search results - page 53 / 118
» Model-Driven User Requirements Specification using SysML
Sort
View
129
Voted
ENTCS
2006
155views more  ENTCS 2006»
15 years 2 months ago
Mathematical Service Trading Based on Equational Matching
Mathematical software libraries provide many computational services. Mathematical operators properties can be used to combine several services in order to provide more complex one...
Aurélie Hurault, Marc Pantel
144
Voted
COOPIS
2004
IEEE
15 years 6 months ago
Comparing Approaches for Semantic Service Description and Matchmaking
Matching descriptions of user requirements against descriptions of service capabilities is crucial for the discovery of appropriate services for a given task. To improve the precis...
Sven Schade, Arnd Sahlmann, Michael Lutz, Florian ...
112
Voted
TAMODIA
2004
15 years 4 months ago
TaskArchitect: taking the work out of task analysis
This paper takes a pragmatic approach to the design of a task analysis support tool. Instead of proposing a new approach to analysis, it looks at the common requirements for provi...
Jon Stuart, Richard Penn
135
Voted
LOGCOM
2010
154views more  LOGCOM 2010»
14 years 9 months ago
Collaborative Runtime Verification with Tracematches
Perfect pre-deployment test coverage is notoriously difficult to achieve for large applications. Given enough end users, however, many more test cases will be encountered during a...
Eric Bodden, Laurie J. Hendren, Patrick Lam, Ondre...
124
Voted
DAGSTUHL
2004
15 years 4 months ago
Language Engineering in Practice
ns to define the abstract modelling language that determines the structure of the models that are to be used a two-step meta-modelling approach turned out as most adequate. In the ...
Martin Große-Rhode