1073 search results - page 117 / 215 » Formal Program Development with Approximations |
158
click to vote
PLDI
2011
ACM
14 years 5 months ago
2011
ACM
Program analysis and verification tools crucially depend on the ability to symbolically describe and reason about sets of program behaviors. Separation logic provides a promising...
160
click to vote
ANSOFT
2002
15 years 2 months ago
2002
Abstract. The real-time process algebra (RTPA) is a set of new mathematical notations for formally describing system architectures, and static and dynamic behaviors. It is recogniz...
327
Voted
SYNASC
2008
IEEE
15 years 9 months ago
2008
IEEE
Service Oriented Architectures draw heavily on techniques for reusing and assembling off-the-shelf software components. While powerful, this programming practice is not without a ...
108
Voted
ICALP
2007
Springer
15 years 8 months ago
2007
Springer
A data tree is a tree where each node has a label from a finite set, and a data value from a possibly infinite set. We consider data trees whose depth is bounded beforehand. By d...
120
Voted
ICECCS
2005
IEEE
15 years 8 months ago
2005
IEEE
SOFL is a formal language and method for software system analysis, specification and design and it fully supports structured techniques and object-oriented techniques. AOP (Aspect...