1098 search results - page 61 / 220 » Combining Models for Business Decisions and Software Develop... |
144
click to vote
MEMOCODE
2006
IEEE
15 years 10 months ago
2006
IEEE
We present an efficient symbolic search algorithm for software model checking. The algorithm combines multiple symbolic representations to efficiently represent the transition r...
148
click to vote
IESA
2007
15 years 6 months ago
2007
Domain ontology building is one of the most critical activities required in Semantic Web applications. The task must be performed by domain experts, who do not (generally) have the...
160
click to vote
WSC
2007
15 years 6 months ago
2007
The parametrization of business games benefits from the usage of a multi-tier architecture and software services. This paper shows that the multi-tier concept supports parametriz...
157
click to vote
DIAGRAMS
2010
Springer
15 years 6 months ago
2010
Springer
Creating and editing graphs and node-link diagrams by means of digital tools are crucial activities in domains such as software or business process modeling. However, these tools h...
190
click to vote
ECMDAFA
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Design patterns are templates of general solutions to commonlyoccurring problems in the analysis and design of software systems. In mature development processes, engineer...