306 search results - page 47 / 62 » Tool Support for Reuse of Analysis Patterns - A Case Study |
HICSS
1999
IEEE
14 years 22 days ago
1999
IEEE
This paper presents a case study on the use of an alternative method of computer support to that normally used, one that uses voting as a tool for social rather than rational choi...
ICAIL
2003
ACM
14 years 1 months ago
2003
ACM
Bench-Capon and Sartor have proposed that reasoning with legal cases be seen as a process of theory construction, evaluation and application. They have proposed a set of theory co...
FM
1999
Springer
14 years 21 days ago
1999
Springer
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...
ENTCS
2007
13 years 8 months ago
2007
This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal specification and analysis of object-...
SOSE
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper presents a service oriented architecture for testing Web Services. In this architecture, various parties interoperate with each other to complete testing tasks through ...