1099 search results - page 57 / 220 » A tool for assisting the understanding and formal developmen... |
IRI
2003
IEEE
14 years 2 months ago
2003
IEEE
– Building large software systems out of existing software components can save time and cost. These software components range from architectural and design components to binary c...
TAPSOFT
1995
Springer
14 years 16 days ago
1995
Springer
Algebraic specifications have been used successfully as a formal basis for software development. This paper discusses how the origin and dynamic dependence relations implicitly de...
APSEC
2004
IEEE
14 years 22 days ago
2004
IEEE
Semantic Web is regarded as the next generation of the World Wide Web. It provides not only the structure of the web but also meaningful semantics for the information presented. T...
HICSS
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper reports on a project establishment undertaking as proposed by the STEPS methodology (Software Technology for Evolutionary Participatory System Design). Project establis...
WCRE
2007
IEEE
14 years 3 months ago
2007
IEEE
Gaining an understanding of software systems is an important discipline in many software engineering contexts. It is essential that software engineers are assisted as much as poss...