5228 search results - page 8 / 1046 » Case Studies for Software Engineers |
CSEE
2009
Springer
14 years 2 months ago
2009
Springer
IT SPIRAL is a collaborative project by nine universities and four industries to develop a common curriculum for teaching software engineering. It combines existing foundation edu...
DIMEA
2008
13 years 9 months ago
2008
The article presents ImproSculpt
CSEE
2000
Springer
13 years 12 months ago
2000
Springer
The field of component-based software engineering (CBSE) is currently in a period of rapid growth and change. No longer is the field dominated by discussions of traditional kinds ...
AISC
2010
Springer
14 years 14 days 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...
TPHOL
1998
IEEE
13 years 12 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...