Sciweavers

2342 search results - page 157 / 469
» A Methodology for Evaluating Software Engineering Methods an...
Sort
View
119
Voted
STTT
2008
87views more  STTT 2008»
15 years 4 months ago
ProB: an automated analysis toolset for the B method
We present ProB, a validation toolset for the B method. ProB's automated animation facilities allow users to gain confidence in their specifications. ProB also contains a mode...
Michael Leuschel, Michael J. Butler
EUROMICRO
2006
IEEE
15 years 10 months ago
Using WS-BPEL to Implement Software Fault Tolerance for Web Services
One area of the web services architecture yet to be standardised is that of fault tolerance for services. At the same time, WS-BPEL is moving from a de facto standard to an OASIS ...
Glen Dobson
CLEIEJ
2010
15 years 1 months ago
Synchronous versus Asynchronous interaction between users of two collaborative tools for the production of Use Cases
The performance of requirement engineers in the production of Use Cases is analyzed and compared using a collaborative editor in synchronous mode versus one in asynchronous mode, ...
Carlos M. Fuenzalida, Hector B. Antillanca
DKE
2011
230views Education» more  DKE 2011»
14 years 11 months ago
Supporting concurrent ontology development: Framework, algorithms and tool
We propose a novel approach to facilitate the concurrent development of ontologies by different groups of experts. Our approach adapts Concurrent Versioning, a successful paradigm...
Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau,...
WETICE
2000
IEEE
15 years 9 months ago
Workshop on Evaluating Collaborative Enterprises - Workshop Report
The workshop, Evaluating Collaborative Enterprises,1 explored the issues surrounding the evaluation of collaborative systems including methods and tools for evaluating collaborati...
Amy J. Knutilla, Michelle Potts Steves, Robert H. ...