713 search results - page 74 / 143 » Formalization, Testing and Execution of a Use Case Diagram |
ASWEC
2006
IEEE
15 years 5 months ago
2006
IEEE
Combining third party software components to customer-individual application systems requires first, standardized specification techniques for describing the technical as well as ...
112
click to vote
AH
2008
Springer
15 years 6 months ago
2008
Springer
The focus of my thesis is on the development of a multi-method framework for the validation of formal models (domain model, user model, and teaching model) for adaptive work-integr...
DIAGRAMS
2008
Springer
15 years 1 months ago
2008
Springer
We are interested in developing a better understanding of what it is that students find difficult in learning logic. We use both natural language and diagram-based methods for teac...
RE
2004
Springer
15 years 5 months ago
2004
Springer
There has been significant recent interest, within the Aspect-Oriented Software Development (AOSD) community, in representing crosscutting concerns at various stages of the softwa...
CORR
2008
Springer
14 years 12 months ago
2008
Springer
The control of small-scale helicopter is a MIMO problem. To use of classical control approach to formally solve a MIMO problem, one needs to come up with multidimensional Root Loc...