1210 search results - page 209 / 242 » Formal Techniques for Java Programs |
149
click to vote
SAC
2006
ACM
15 years 4 months ago
2006
ACM
We propose a rule-based approach for transforming B abstract machines into UML diagrams. We believe that important insight into the structure underlying a B model can be gained by...
128
click to vote
CORR
2000
Springer
15 years 4 months ago
2000
Springer
Attribute grammars (AGs) are a formal technique for defining semantics of programming languages. Existing complexity proofs on the circularity problem of AGs are based on automata...
146
click to vote
JUCS
2002
15 years 4 months ago
2002
: Design for All is an important challenge for hypermedia engineering. We analyze this challenge and show that it is necessary to find a way of describing partially designed hyperm...
162
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
For `mixed-criticality' systems that have both critical and non-critical functions, the greatest leverage on dependability may be at the design level. By designing so that ea...
127
click to vote
ISSTA
2006
ACM
15 years 10 months ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...