74 search results - page 8 / 15 » A simpler model of software readability |
ENTCS
2008
13 years 7 months ago
2008
Graphical notations are already popular for the design of software, as witnessed by the success of the Uniform Modeling Languages (UML). In this paper, we advocate the use of grap...
ELPUB
2007
ACM
13 years 11 months ago
2007
ACM
Despite the fact that electronic publishing is a common activity to scholars, electronic journals are still based in the print model and do not take full advantage of the faciliti...
LSSC
2001
Springer
13 years 12 months ago
2001
Springer
In the last years the interest in computer simulations of radioactive waste scenarios has increased. In this article we present numerical simulations with the software package TRAP...
IASTEDSE
2004
13 years 9 months ago
2004
The Unified Modeling Language (UML) statechart diagram is used for modeling the dynamic aspects of systems. The UML statechart diagrams include many concepts that are not present ...
TAPSOFT
1997
Springer
13 years 11 months ago
1997
Springer
Abstract. This paper presents a formalization of nite and in nite sequences in domain theory carried out in the theorem prover Isabelle. The results are used to model the metatheor...