2878 search results - page 160 / 576 » Analyzing the Uses of a Software Modeling Tool |
ICSE
2007
IEEE-ACM
14 years 8 months ago
2007
IEEE-ACM
A data model is a plan for building a database and is comparable to an architect's building plans. There are two major methodologies used to create a data model: the EntityRe...
WSC
2007
13 years 10 months ago
2007
Over the 50 year history of discrete event simulation the growth in applications has been facilitated by some key advances in modeling that have simplified the process of building...
MMS
2008
13 years 8 months ago
2008
Practices in new media art pose very interesting challenges to the multimedia research community in terms of software tools development, usage of media technologies or documentatio...
ICSE
2010
IEEE-ACM
13 years 10 months ago
2010
IEEE-ACM
The transition from single-core to multi-core processors has made multi-threaded software an important subject over the last years in computer-aided verification. Model checkers ...
CAV
2006
Springer
14 years 2 days ago
2006
Springer
Previous symbolic software model checkers (i.e., program analysis tools based on predicate abstraction, pushdown model checkiterative counterexample-guided abstraction refinement, ...