2496 search results - page 41 / 500 » Error-detecting properties of languages |
132
Voted
SOSYM
2010
14 years 10 months ago
2010
Component-based software engineering (CBSE) is viewed as an opportunity to deal with the increasing complexity of modern-day software. Along with CBSE comes the notion of component...
140
Voted
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
123
Voted
HICSS
2009
IEEE
15 years 10 months ago
2009
IEEE
The use of formal methods has long been advocated in the development of secure systems. Yet, methods for deriving design from requirements that guarantee retention of the intended...
131
Voted
FORMATS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Introducing a monitor on a system typically changes the system's behaviour by slowing the system down and increasing memory consumption. This may possibly result in ...
127
Voted
FMOODS
2003
15 years 4 months ago
2003
Abstract. Inheritance is one of the key features for the success of objectoriented languages. Inheritance (or specialisation) supports incremental design and re-use of already writ...