1326 search results - page 256 / 266 » Semantic Coherence in Software Engineering |
SAC
2009
ACM
14 years 4 months ago
2009
ACM
JavaScript is widely used by web developers and the complexity of JavaScript programs has increased over the last year. Therefore, the need for program analysis for JavaScript is ...
ICFP
2005
ACM
14 years 10 months ago
2005
ACM
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...
POPL
2010
ACM
14 years 7 months ago
2010
ACM
The automated inference of quantified invariants is considered one of the next challenges in software verification. The question of the right precision-efficiency tradeoff for the...
ICEIS
2005
IEEE
14 years 3 months ago
2005
IEEE
Component-based software engineering attempts to address the ever increasing demand for new software applications by enabling a compositional approach to software construction in ...
UML
2005
Springer
14 years 3 months ago
2005
Springer
The recent trend in software engineering to model-centered methodologies is an excellent opportunity for OCL to become a widely used specification language. If the focus of the de...