Sciweavers

BMCBI
2007
147views more  BMCBI 2007»
13 years 4 months ago
Modeling biochemical transformation processes and information processing with Narrator
Background: Software tools that model and simulate the dynamics of biological processes and systems are becoming increasingly important. Some of these tools offer sophisticated gr...
Johannes J. Mandel, Hendrik Fuß, Niall M. Pa...
CORR
2010
Springer
96views Education» more  CORR 2010»
13 years 4 months ago
The theory and calculus of aliasing
A theory, graphical notation, mathematical calculus and implementation for finding whether two given expressions can, at execution time, denote references attached to the same obje...
Bertrand Meyer
AOSE
2008
Springer
13 years 6 months ago
A Unified Graphical Notation for AOSE
Abstract. Over the last five years a number of agent system development methodologies have been proposed and developed, with a number of them becoming well established and used bey...
Lin Padgham, Michael Winikoff, Scott A. DeLoach, M...
AUIC
2004
IEEE
13 years 8 months ago
Delegation Diagrams: Visual Support for the Development of Object-Oriented Designs
Developers have long used pictures to aid design activities and there has been a lot of interest in standard notations for design. We have developed delegation diagrams, a graphic...
Ewan D. Tempero, James Noble, Robert Biddle
ENC
2005
IEEE
13 years 10 months ago
Using Alloy to model-check visual design notations
This paper explores the process of validation for the syntax of a graphical notation. We define a unified specification for five of the UML diagrams used by the Discovery Method a...
Anthony J. H. Simons, Carlos Alberto Fernán...
WWW
2006
ACM
14 years 5 months ago
Graphical representation of RDF queries
In this poster we discuss a graphical notation for representing queries for semistructured data. We try to strike a balance between expressiveness of the query language and simpli...
Andreas Harth, Sebastian Ryszard Kruk, Stefan Deck...