4290 search results - page 51 / 858 » Formal Approaches to Teamwork |
158
click to vote
WISE
2009
Springer
16 years 3 months ago
2009
Springer
Identifying the right-grained services is important to lead the successful service orientation because it has a direct impact on two major goals: the composability of loosely-coupl...
197
click to vote
IWPC
2007
IEEE
16 years 19 days ago
2007
IEEE
The paper addresses the problem of concept location in source code by presenting an approach which combines Formal Concept Analysis (FCA) and Latent Semantic Indexing (LSI). In th...
209
click to vote
DFKI
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We introduce an integrated approach to the conceptualisation, implementation and evaluation of a MAS (multi-agent system) which is based on sociological concepts of pract...
174
click to vote
FASE
2000
Springer
15 years 10 months ago
2000
Springer
state-based approach KIV uses abstract state machines (ASMs, [5]) over algebraically specified data types. The semantics of an ASM is the set of
158
click to vote
TAP
2007
Springer
16 years 14 days ago
2007
Springer
We present a new automatic test generation method for JAVA CARD based on attempts at formal verification of the implementation under test (IUT). Self-contained unit tests in JUnit...