1908 search results - page 296 / 382 » How to teach software modeling |
146
Voted
ENTCS
2008
15 years 4 months ago
2008
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...
131
Voted
CTW
2006
15 years 4 months ago
2006
Cognitive task analysis (CTA) approaches are currently needed in many domains to provide explicit guidance on redesigning existing systems. This study used goal-directed task analy...
118
Voted
IJWET
2007
15 years 4 months ago
2007
: Web applications are the most widely used class of software today. Increased diversity of web-client platform configurations causes execution of web applications to vary unpredic...
197
Voted
ECEASST
2010
15 years 1 months ago
2010
Abstract: Graphical user interfaces (GUIs) are critical components of todays software. Given their increased relevance, correctness and usability of GUIs are becoming essential. Th...
150
click to vote
ICWE
2007
Springer
15 years 10 months ago
2007
Springer
WE practices lack an impact on industry, partly due to a WE field that is not quality-aware. In fact, it is difficult to find WE methodologies that pay explicit attention to qualit...