1908 search results - page 85 / 382 » How to teach software modeling |
ICSE
2009
IEEE-ACM
14 years 7 months ago
2009
IEEE-ACM
Backtracking is necessary when design alternatives are explored or dead ends are reached. Unfortunately, current approaches support chronological backtracking only (undo or versio...
MODELS
2009
Springer
15 years 4 months ago
2009
Springer
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
WCRE
1996
IEEE
15 years 2 months ago
1996
IEEE
An important challenge in software reengineering is to encapsulate collections of related data that, due to the absence of appropriate constructs for encapsulation in legacy progr...
CC
2007
Springer
15 years 1 months ago
2007
Springer
Program refactoring, feature-based and aspect-oriented software synthesis, and model-driven development are disjoint research areas. However, they are all architectural metaprogram...
IIE
2007
14 years 9 months ago
2007
Conventional wisdom attributes the lack of effective technology use in classrooms to a shortage of professional development or poorly run professional development. At the same time...