Sciweavers

501 search results - page 8 / 101
» Diagram Techniques for Confluence
Sort
View
VISSOFT
2005
IEEE
14 years 4 months ago
Interactive Exploration of UML Sequence Diagrams
Sequence diagrams are commonly used to represent object interactions in software systems. Reverse-engineered sequence diagrams, which are constructed from existing code, are becom...
Richard Sharp, Atanas Rountev
UML
2001
Springer
14 years 3 months ago
Calculating with Concepts: a Technique for the Development of Business Process Support
: This paper introduces the Calculating with Concepts (CC) technique, which has been developed to improve the precision of UML class diagrams and allows the formal reasoning based ...
Remco M. Dijkman, Luís Ferreira Pires, Stef...
ICMLC
2010
Springer
13 years 9 months ago
An ontology-supported ubiquitous interface agent for cloud computing - Example on Bluetooth wireless technique with Java program
: This paper focused on designing of a ubiquitous interface agent based on the ontology technology and interaction diagram with the backend information agent system, i.e., OntoIAS,...
Sheng-Yuan Yang, Chun-Liang Hsu, Dong-Liang Lee
ICCCI
2010
Springer
13 years 8 months ago
An Ontology-Supported Ubiquitous Interface Agent for Cloud Computing - Example on Zigbee Technique
An ontology-supported ubiquitous interface agent and its interaction diagram with the backend information agent system, i.e., OntoIAS, in cloud computing environments were proposed...
Sheng-Yuan Yang, Dong-Liang Lee, Chun-Liang Hsu
FMSD
2007
138views more  FMSD 2007»
13 years 10 months ago
Object oriented concepts identification from formal B specifications
This paper addresses the graphical representation of static aspects of B specifications, using UML class diagrams. These diagrams can help understand the specification for stakeho...
Akram Idani, Yves Ledru