501 search results - page 59 / 101 » Diagram Techniques for Confluence |
109
click to vote
ITNG
2008
IEEE
15 years 8 months ago
2008
IEEE
Semantic Analysis is a business analysis method designed to capture user requirements and represent them as text or in a graph that is called Ontology Chart. Ontology Charts can b...
110
click to vote
GD
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We propose an algorithm for the 3D visualization of general ontology models used in many applications, such as semantic web, entity-relationship diagrams and other databa...
108
Voted
HICSS
2002
IEEE
15 years 7 months ago
2002
IEEE
The high speed at which new businesses are developed can to a large extent be attributed to their ability to flexibly combine existing services into an integrated business platfor...
ECBS
2006
IEEE
15 years 5 months ago
2006
IEEE
We present in this paper a unified paradigm for the verification and validation of software and systems engineering design models expressed in UML 2.0 or SysML. This paradigm reli...
124
click to vote
ISSTA
1998
ACM
15 years 5 months ago
1998
ACM
We present various techniques for improving the time and space efficiency of symbolic model checking for system requirements specified as synchronous finite state machines. We use...