1782 search results - page 255 / 357 » Tool Support for Proof Engineering |
ICSE
2009
IEEE-ACM
14 years 1 months ago
2009
IEEE-ACM
The comprehensive understanding of today’s software systems is a daunting activity, because of the sheer size and complexity that such systems exhibit. Moreover, software system...
IWPC
2000
IEEE
14 years 1 months ago
2000
IEEE
ng the Accessor Classification Approach to Detect Abstract Data Types icle presents an approach to identify abstract data types (ADTs) in source code. For each structured type de...
FASE
2000
Springer
14 years 14 days ago
2000
Springer
The problem of consistently engineering large, complex software systems of today is often addressed by introducing new, "improved" models. Examples of such models are arc...
ACMACE
2005
ACM
13 years 11 months ago
2005
ACM
Current commercial AI middleware are still far from being a generic and flexible tool for developing computer games. Also the literature lacks proposals in this field. In this w...
ASE
1998
13 years 8 months ago
1998
Software process improvement requires high level formalisms for describing project-specific, organizational and quality aspects. These formalisms must be convenient not only for ...