Search Sciweavers | Sciweavers

1782 search results - page 9 / 357

» Tool Support for Proof Engineering

click to vote

OOPSLA
2007
Springer

85views Security Privacy» more OOPSLA 2007»

CASE-FX: feature modeling support in an OO Case tool

14 years 2 months ago

Download hotsoft.carleton.ca

Generative Programming advocates developing a family of systems rather than a set of single systems. Feature modeling can assist in supporting the development of such software pro...

Alain Forget, Dave Arnold, Sonia Chiasson

claim paper

Read More »

click to vote

TELSYS
2002

126views more TELSYS 2002»

Framework and Tool Support for Formal Verification of Highspeed Transfer Protocol Designs

13 years 8 months ago

Download www.item.ntnu.no

Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...

Peter Herrmann, Heiko Krumm, Olaf Drögehorn, ...

claim paper

Read More »

click to vote

JANCL
2006

100views more JANCL 2006»

An efficient relational deductive system for propositional non-classical logics

13 years 8 months ago

Download cilc2006.di.uniba.it

We describe a relational framework that uniformly supports formalization and automated reasoning in various propositional modal logics. The proof system we propose is a relational ...

Andrea Formisano, Marianna Nicolosi Asmundo

claim paper

Read More »

click to vote

KBSE
2008
IEEE

160views Software Engineering» more KBSE 2008»

ADDSS: Architecture Design Decision Support System Tool

14 years 3 months ago

Download eciencia.urjc.es

This paper describes the ADDSS tool which enables capturing and documenting architectural design decisions in order to avoid knowledge vaporization.

Rafael Capilla, Francisco Nava, Jesus Montes, Carl...

claim paper