1782 search results - page 222 / 357 » Tool Support for Proof Engineering |
CSMR
2006
IEEE
13 years 11 months ago
2006
IEEE
The high cost of software maintenance could potentially be greatly reduced by the automatic refactoring of object-oriented programs to increase their understandability, adaptabili...
VAMOS
2010
Springer
13 years 10 months ago
2010
Springer
We discuss the application of deontic logics to the modelling of variabilities in product family descriptions. Deontic logics make it possible to express concepts like permission a...
TASE
2008
IEEE
13 years 8 months ago
2008
IEEE
Situated Multi-Agents Systems (MAS), and other Agentbased systems, are often complex. Formal reasoning is needed to ensuring their correctness and structuring their development. E...
ER
2009
Springer
13 years 6 months ago
2009
Springer
Developing a mobile Web site represents an opportunity to reach a large part of the Web audience for an organization. It is also a challenge as Web engineers have to follow specifi...
POPL
2005
ACM
14 years 9 months ago
2005
ACM
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...