1908 search results - page 197 / 382 » How to teach software modeling |
163
click to vote
ICEBE
2007
IEEE
15 years 11 months ago
2007
IEEE
In the development process of a B2B system it is crucial that the business experts are able to express and evaluate agreements and commitments between the partners and that the so...
139
click to vote
AVI
2006
15 years 6 months ago
2006
We present an experiment that compares how people perform search tasks in a degree-of-interest browser and in a Windows-Explorer-like browser. Our results show that, whereas users...
137
click to vote
FCS
2006
15 years 6 months ago
2006
-- Boolean SAT problems are widespread in current demanding applications, most notably model checking for both hardware and software. It has long been known that the clause-to-vari...
130
click to vote
CODES
2000
IEEE
15 years 9 months ago
2000
IEEE
We present an analysis of the benefits and drawbacks of function and object based models in system specification. Functional models should be used for functional design space expl...
166
click to vote
BALT
2010
15 years 15 days ago
2010
Abstract. This paper addresses the pattern matching problem for model transformation languages. Despite being an NP-complete problem, the pattern matching can be solved efficiently...