1782 search results - page 10 / 357 » Tool Support for Proof Engineering |
TAP
2008
Springer
13 years 8 months ago
2008
Springer
Abstract. In this paper we report on our first experiences using the relational analysis provided by the Alloy tool with the theorem prover KIV in the context of specifications of ...
AOSE
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. The agent-oriented software engineering methodology Tropos offers a structured development process and supporting tools for developing complex, distributed systems. The ...
APSEC
2004
IEEE
14 years 11 days ago
2004
IEEE
Service-based systems engineering is a recent paradigm that has proven useful for the development of multifunctional systems, whose functions may be used in different contexts and...
ESANN
2008
13 years 10 months ago
2008
Sequential Minimal Optimization (SMO) is currently the most popular algorithm to solve large quadratic programs for Support Vector Machine (SVM) training. For many variants of this...
INFSOF
2000
13 years 8 months ago
2000
Developing software engineering tools is a difficult task, and the environments in which these tools are deployed continually evolve as software developers' processes, tools ...