Sciweavers

6343 search results - page 1113 / 1269
» Development of a Cartographic Language
Sort
View
AVI
2000
15 years 5 months ago
Diagrams Based on Structural Object Perception
Most diagrams, particularly those used in software engineering, are line drawings consisting of nodes drawn as rectangles or circles, and edges drawn as lines linking them. In the...
Pourang Irani, Colin Ware
146
Voted
PDSE
1998
126views more  PDSE 1998»
15 years 5 months ago
Validation and Test Generation for Object-Oriented Distributed Software
The development of correct OO distributed software is a daunting task as soon as the distributed interactions are not trivial. This is due to the inherent complexity of distribute...
Thierry Jéron, Jean-Marc Jézé...
160
Voted
PTS
2000
58views Hardware» more  PTS 2000»
15 years 5 months ago
Formal Test Automation: The Conference Protocol with PHACT
We discuss a case study of automatic test generation and test execution based on formal methods. The case is the Conference Protocol, a simple, chatbox-like protocol, for which (fo...
Lex Heerink, Jan Feenstra, Jan Tretmans
PDPTA
1997
15 years 5 months ago
Evolving Software Tools for New Distributed Computing Environments
Abstract In future, parallel and distributed computing paradigms will replace nowadays predominant sequential and centralized ones. Facing the challenge to support the construction...
Markus Pizka, Claudia Eckert, Sascha Groh
RIAO
1997
15 years 5 months ago
Design Issues for World Wide Web Navigation Visualisation Tools
The World Wide Web (WWW) is a successful hypermedia information space used by millions of people, yet it suffers from many deficiencies and problems in support for navigation ar...
Andy Cockbum, Steve Jones
« Prev « First page 1113 / 1269 Last » Next »