Sciweavers

1008 search results - page 157 / 202
» A graphic functional-dataflow language
Sort
View
TOOLS
1991
IEEE
14 years 2 months ago
INGRID - an Object-Oriented Interface Builder
After a maturing process where models and architectures for User Interface Systems have been dened and generally accepted, the current expectations of researchers, developers and ...
Luís Carriço, Nuno Guimarães,...
VL
1991
IEEE
183views Visual Languages» more  VL 1991»
14 years 2 months ago
The Conceptual Programming Environment, CP: Reasoning Representation using Graph Structures and Operations
The Conceptual Programming environment, CP, being developed at the Computing Research Laboratory (CRL), is a complete knowledge representation visual programming environment for u...
Heather Pfeiffer, Roger T. Hartley
WOODPECKER
2001
14 years 11 days ago
Consistency Checking of RM-ODP Specifications
Ensuring that specifications are consistent is an important part of specification development and testing. In this paper we introduce the ConsVISor tool for consistency checking o...
Kenneth Baclawski, Mieczyslaw M. Kokar, Jeffrey E....
WSCG
2001
83views more  WSCG 2001»
14 years 11 days ago
A Digital Teletext Service
Digital Teletext is one of the most important interactive services of emerging digital television. As an enhanced version of existing analogue Teletext service, it's a reside...
Chengyuan Peng, Petri Vuorimaa
FORTE
1998
14 years 10 days ago
An Algebraic Semantics for Message Sequence Chart Documents
Message Sequence Charts (MSCs) are a graphical and textual language for the speci cation of message passing systems, in particular telecommunication systems. MSCs are standardised...
Thomas Gehrke, Michaela Huhn, Arend Rensink, Heike...