2878 search results - page 185 / 576 » Analyzing the Uses of a Software Modeling Tool |
181
click to vote
GD
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. As the number of devices connected to the internet continues to grow rapidly and software systems are being increasingly deployed on the web, security and privacy have be...
155
click to vote
CAV
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. When a model does not satisfy a given specification, a counterexample is produced by the model checker to demonstrate the failure. A user must then examine the counterexa...
158
click to vote
WSC
1998
15 years 7 months ago
1998
The manufacture of pre-cast concrete building elements consists of a few manufacturing steps. The process itself is simple, but the characteristics of the business are quite rando...
154
click to vote
COMPSAC
2003
IEEE
15 years 11 months ago
2003
IEEE
Software architecture and design are usually modeled and represented by informal diagrams, such as architecture diagrams and UML diagrams. While these graphic notations are easy t...
172
click to vote
CASCON
1997
15 years 7 months ago
1997
Software evolution and reuse is more likely to receive higher payoff if high-level artifacts—such as architectures and designs—can be reused and can guide low-level component ...