2878 search results - page 135 / 576 » Analyzing the Uses of a Software Modeling Tool |
168
click to vote
WSC
1997
15 years 7 months ago
1997
SiMPLE++ is an object-oriented simulation environment for modeling all types of manufacturing, logistics and service systems. AESOP’s SiMPLE++ is a fully object-oriented impleme...
209
click to vote
NFM
2011
15 years 20 days ago
2011
A main idea underlying bounded model checking is to limit the length of the potential counter-examples, and then prove properties for the bounded version of the problem. In softwar...
146
click to vote
SIGSOFT
1998
ACM
15 years 10 months ago
1998
ACM
An increasingly important trend in the engineering of complex systems is the design of component integration standards. Such standards de ne rules of interaction and shared commun...
145
Voted
ISESE
2002
IEEE
15 years 10 months ago
2002
IEEE
The primary objective of this paper was to examine the extent to which Gutman’s Means-End Chain Model can be used to describe the influences given to the choice of characteristi...
148
click to vote
ICSM
2006
IEEE
15 years 11 months ago
2006
IEEE
Software design patterns are documented best practice solutions that can be applied to reoccurring problems. Although well documented, there are often opportunities to apply them ...