10870 search results - page 444 / 2174 » Model Checking Programs |
203
click to vote
ACSC
2007
IEEE
16 years 1 months ago
2007
IEEE
The design guideline avoid dependency cycles among modules was ï¬rst alluded to by Parnas in 1978. Many tools have since been built to detect cyclic dependencies among a programâ...
213
click to vote
SAC
2006
ACM
16 years 1 months ago
2006
ACM
Parameterization is an effective technique for building flexible, reusable software. When dealing with parameterized components, an important concern is the time at which parame...
202
click to vote
FOSSACS
2004
Springer
16 years 28 days ago
2004
Springer
The pi calculus holds the promise of compile-time checks for whether a given program will have the correct interactive behaviour. The theory behind such checks is called bisimulati...
163
click to vote
ICLP
1994
Springer
15 years 11 months ago
1994
Springer
Using a glass-box theory of finite domain constraints, FD, we show how the entailment of user-defined constraints can be expressed by antimonotone FD constraints. We also provide a...
192
click to vote
ICSE
1994
IEEE-ACM
15 years 11 months ago
1994
IEEE-ACM
As software systems become more complex the overall system structure { or software architecture { becomes a central design problem. An important step towards an engineering discip...