1210 search results - page 150 / 242 » Formal Techniques for Java Programs |
128
Voted
TSE
1998
15 years 1 months ago
1998
—We investigate the issue of designing a kernel programming language for mobile computing and describe KLAIM, a language that supports a programming paradigm where processes, lik...
129
Voted
ICCS
2007
Springer
15 years 8 months ago
2007
Springer
We seek to increase user confidence in simulations as they are adapted to meet new requirements. Our approach includes formal representation of uncertainty, lightweight validation,...
136
click to vote
UML
2005
Springer
15 years 7 months ago
2005
Springer
Refactoring of UML class diagrams is an emerging research topic and heavily inspired by refactoring of program code written in object-oriented implementation languages. Current cla...
119
click to vote
FMCAD
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. Since the advent of model checking it is becoming more common for languages to be given a semantics in terms of transition systems. Such semantics allow to model check pr...
113
click to vote
MSR
2006
ACM
15 years 8 months ago
2006
ACM
Various static analysis tools will analyze a software artifact in order to identify potential defects, such as misused APIs, race conditions and deadlocks, and security vulnerabil...