7202 search results - page 66 / 1441 » Software System Engineering: A Tutorial |
INFSOF
2002
13 years 10 months ago
2002
Many tasks in software engineering can be characterized as source to source transformations. Design recovery, software restructuring, forward engineering, language translation, pl...
SOFSEM
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. The increasing complexity of today’s embedded systems applications imposes the requirements and constraints of distributed, heterogeneous subsystem interaction to softw...
ECBS
2003
IEEE
14 years 4 months ago
2003
IEEE
“The Unified Modeling Language (UML) is a graphical language for visualizing, specifying, constructing, and documenting the artifacts of a softwareintensive system” [1]. This ...
ISORC
2003
IEEE
14 years 4 months ago
2003
IEEE
TPHOL
1998
IEEE
14 years 3 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...