1136 search results - page 126 / 228 » Case Study of Object-Oriented Software Development |
IFM
2010
Springer
13 years 8 months ago
2010
Springer
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
HCI
2007
13 years 11 months ago
2007
The author reviewed and participated in several exemplar industry projects from the Indian IT industry to study the integration of human-computer interaction (HCI) design into soft...
MSR
2005
ACM
14 years 3 months ago
2005
ACM
Diversification of software assets through changing requirements impose a constant challenge on the developers and maintainers of large software systems. Recent research has addr...
ISSE
2010
13 years 8 months ago
2010
“Faster, Better, Cheaper” (FBC) was a systems development methodology used by NASA in the 1990s. While usually a deprecated practice, we find that, with certain caveats, it is...
IBERAMIA
2004
Springer
14 years 3 months ago
2004
Springer
Many approaches of the agent paradigm emphasize the social and intentional features of their systems, what are called social properties. The study of these aspects demands their ow...