162 search results - page 1 / 33 » Dimensions of Formality: A Case Study for MKM in Software En... |
AISC
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. We study the formalization process of a collection of documents created for a Software Engineering project from an MKM perspective. We analyze how document and collection...
ICFEM
2009
Springer
13 years 11 months ago
2009
Springer
ICFEM
2000
Springer
13 years 8 months ago
2000
Springer
TPHOL
1998
IEEE
13 years 9 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
WCRE
1999
IEEE
13 years 9 months ago
1999
IEEE
As a program evolves, it becomes increasingly difficult to understand and reason about changes in the source code. Eventually, if enough changes are made, reverse engineering and ...