4476 search results - page 391 / 896 » Modeling software architectures in the Unified Modeling Lang... |
206
click to vote
SERA
2010
Springer
15 years 5 months ago
2010
Springer
—Information systems are expected to satisfy increasingly ambitious requirements, while reducing time–to–market has become a primary objective. This trend has necessitated th...
186
click to vote
VMCAI
2004
Springer
16 years 7 days ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...
174
click to vote
KBSE
2005
IEEE
16 years 14 days ago
2005
IEEE
Visual Languages (VLs) play an important role in software system development. Especially when looking at well-defined domains, a broad variety of domain specific visual language...
182
click to vote
AOSD
2007
ACM
15 years 11 months ago
2007
ACM
The traditional constraints on software development and architectures in the consumer electronics domain, including the low cost of manufacturing of a product, support for familie...
228
click to vote
CODES
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, we investigate the use of instruction set simulators (ISS) based on binary translation to accelerate full timed multiprocessor system simulation at transaction leve...