scholarly journals Formal Techniques for Java-Like Programs

Author(s):  
Susan Eisenbach ◽  
Gary T. Leavens ◽  
Peter Müller ◽  
Arnd Poetzsch-Heffter ◽  
Erik Poll
Keyword(s):  
i-com ◽  
2015 ◽  
Vol 14 (3) ◽  
Author(s):  
Raquel Oliveira ◽  
Sophie Dupuy-Chessa ◽  
Gaëlle Calvary

AbstractInteractive systems have largely evolved over the past years. Nowadays, different users can interact with systems on different devices and in different environments. The user interfaces (UIs) are expected to cope with such variety. Plastic UIs have the capacity to adapt to changes in their context of use while preserving usability. Such capability enhances UIs, however, it adds complexity on them. We propose an approach to verifying interactive systems considering this adaptation capability of the UIs. The approach applies two formal techniques: model checking, to the verification of properties over the system model, and equivalence checking, to compare different versions of a UI, thereby identifying different levels of UI equivalence. We apply the approach to a case study in the nuclear power plant domain in which several UI are analyzed, properties are verified, and the level of equivalence between them is demonstrated.


2017 ◽  
Vol 5 (3) ◽  
pp. 56
Author(s):  
Michael Heyman

Past studies of American nonsense literature have tended to lump it together with the British, for many good reasons. This article, however, distinguishes American nonsense, not just from the British, but from any other tradition, by way of its folk origins and cultural context. One of the least-recognized writers of nonsense is Carl Sandburg, who is famous for his iconic American poetry, but his Rootabaga Stories (1922-30) are some of the best and most distinctive representatives of the genre. Sandburg’s nonsense short stories are lyrical and strange, but their value lies also in their distinctive American origins. They are distinguished in having particularly American themes, cultural tendencies, and geography, but also in their formal techniques, which hearken back to American folklore and the tall tale in particular, as in W. B. Laughead’s Paul Bunyan (1922).


1999 ◽  
Vol 37 (7) ◽  
pp. 132-138 ◽  
Author(s):  
X. Logean ◽  
F. Dietrich ◽  
J.-P. Hubaux ◽  
S. Grisouard ◽  
P.-A. Etique
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document