1908 search results - page 236 / 382 » How to teach software modeling |
138
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
The recent trend in software engineering to model-centered methodologies is an excellent opportunity for OCL to become a widely used specification language. If the focus of the de...
172
Voted
KNINVI
2005
Springer
15 years 10 months ago
2005
Springer
Information visualization has been a research topic for many years, leading to a mature field where guidelines and practices are well established. Knowledge visualization, in contr...
193
click to vote
HOST
2011
IEEE
14 years 4 months ago
2011
IEEE
—We introduce a novel hardware intellectual property acquisition protocol, show how it can support the transfer of provably trustworthy modules between hardware IP producers and ...
191
Voted
WSC
2000
15 years 5 months ago
2000
This paper discusses the use of simulation in a new context. Most often QUEST is viewed as a stand-alone simulation tool to analyze and understand shop floor behavior. It has rare...
182
Voted
FLOPS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Assertion-based contracts provide a powerful mechanism for stating invariants at module boundaries and for enforcing them uniformly. In 2002, Findler and Felleisen showed...