913 search results - page 100 / 183 » Toward Formalizing Structured Analysis |
TAGT
1998
Springer
14 years 1 months ago
1998
Springer
Graphs are a commonly used formalism for modeling many different kinds of static and dynamic data. In many applications, data modeling can be improved by using hierarchically struc...
ICFP
2010
ACM
13 years 9 months ago
2010
ACM
Most current techniques fail to achieve the dynamic update of recursive functions. A focus on execution states appears to be essential in order to implement dynamic update in this...
ENTCS
2002
13 years 8 months ago
2002
Many tools have been constructed using different formal methods to process various parts of a language specification (e.g., scanner generators, parser generators and compiler gene...
SIAMADS
2011
12 years 12 months ago
2011
Discrete breathers are found in a nonlinear one dimensional axially loaded mechanical lattice consisting of rigid links supported laterally by linear springs. We find link centere...
NDJFL
2000
13 years 8 months ago
2000
now of a number of ways of developing Real Analysis on a basis of abstraction principles and second-order logic. One, outlined by Shapiro in his contribution to this volume, mimic...