Sciweavers

648 search results - page 66 / 130
» A Proposal for ASM Diagrams
Sort
View
COMPSAC
2003
IEEE
14 years 2 months ago
A Cut-Based Algorithm for Reliability Analysis of Terminal-Pair Network Using OBDD
In this paper, we propose an algorithm to construct the Ordered Binary Decision Diagram (OBDD) representing the cut function of a terminal-pair network. The algorithm recognizes i...
Yung-Ruei Chang, Hung-Yau Lin, Ing-Yi Chen, Sy-Yen...
ICECCS
1999
IEEE
88views Hardware» more  ICECCS 1999»
14 years 1 months ago
UML + ROOM as a Standard ADL?
Designing a software system's architecture properly is one of the most important tasks of any software engineering project. Nevertheless there exists no common definition of ...
Bernhard Rumpe, M. Schoenmakers, Ansgar Radermache...
ASWEC
2006
IEEE
14 years 20 days ago
Requirements Capture and Specification for Enterprise Applications: a UML Based Attempt
We propose a software development method for enterprise applications that combines the use of the structural concepts provided by problem frames, and the use of the UML notation. ...
Christine Choppy, Gianna Reggio
DIAGRAMS
2006
Springer
14 years 18 days ago
Toward a Comprehensive Model of Graph Comprehension: Making the Case for Spatial Cognition
We argue that a comprehensive model of graph comprehension must include spatial cognition. We propose that current models of graph comprehension have not needed to incorporate spat...
Susan Bell Trickett, J. Gregory Trafton
CASCON
1996
126views Education» more  CASCON 1996»
13 years 10 months ago
Inter-class testing of O-O software in the presence of polymorphism
This paper1 describes an algorithm for testing polymorphic interactions between classes in object-oriented (O-O) software. We propose an Augmented Object Relationship Diagram (AOR...
Amit M. Paradkar