8083 search results - page 128 / 1617 » A Formalization of Software Architecture |
ARCS
2011
Springer
13 years 5 months ago
2011
Springer
CSMR
2010
IEEE
13 years 5 months ago
2010
IEEE
VL
1999
IEEE
14 years 2 months ago
1999
IEEE
Geared to complement UML and to the specification of large software systems by non-mathematicians, spider diagrams are a visual language that generalizes the popular and intuitive...
COMPSAC
1997
IEEE
14 years 2 months ago
1997
IEEE
Formal methods are used in a surprisingly wide variety of applications and ways throughout the world. While they may still’be considered a niche market, there is growing evidenc...
KBSE
1997
IEEE
14 years 2 months ago
1997
IEEE
Abstract: This paper describes some tools to support formal methods, and conversely some formal methods for developing such tools. We focus on distributed cooperative proving over ...