5591 search results - page 153 / 1119 » Design patterns: between programming and software design |
145
click to vote
WCRE
1993
IEEE
15 years 8 months ago
1993
IEEE
Program transformation systems provide one means of formally deriving a program from its speci cation. The main advantage of this development method is that the executable program...
119
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
OperettA is a graphical tool that supports the design, verification and simulation of OperA models. It ensures consistency between different design parts, provides a formal specif...
169
click to vote
ASE
2004
15 years 4 months ago
2004
The construction of interactive server-side Web applications differs substantially from the construction of traditional interactive programs. In contrast, existing Web programming...
127
click to vote
ICSE
1994
IEEE-ACM
15 years 8 months ago
1994
IEEE-ACM
As software systems become more complex the overall system structure { or software architecture { becomes a central design problem. An important step towards an engineering discip...
116
click to vote
AUIC
2002
IEEE
15 years 9 months ago
2002
IEEE
The Rational Unified Process (RUP) is a use case driven iterative software engineering process User Interface design within the RUP involves user interface modelling and user inte...