4759 search results - page 249 / 952 » Software Development Based on Software Pattern Evolution |
148
click to vote
IJISMD
2010
15 years 1 months ago
2010
UML is now widely accepted as the standard modeling language for software construction. The Class Diagram is its core view, having well formed semantics and providing the backbone...
121
click to vote
ECIS
2001
15 years 5 months ago
2001
The authors describe on going research to uncover the architectonic nature of artefacts and see how these may be related to high-level, but also grounded, model of the original pr...
119
click to vote
FOSSACS
2010
Springer
15 years 10 months ago
2010
Springer
We present a coinductive proof system for bisimilarity in transition systems specifiable in the de Simone SOS format. Our coinduction is incremental, in that it allows building in...
112
Voted
ICECCS
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract—Plugin-based application design has become increasingly popular in recent years, and has contributed to the success of a range of very different applications including ...
123
click to vote
HASE
1998
IEEE
15 years 8 months ago
1998
IEEE
Finite failure NHPP models proposed in the literature exhibit either constant, monotonic increasing or monotonic decreasing failure occurrence rates per fault, and are inadequate ...