1 citations · 1 across the 1 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2018
Towards Classification of Lightweight Formal Methods
Anna Zamansky, Maria Spichkova, Guillermo Rodriguez-Navas +2
The use of lightweight formal methods (LFM) for the development of industrial applications has become a major trend. Although the term "lightweight formal methods" has been used fo…
cs.SE2014
The Karlskrona manifesto for sustainability design
Christoph Becker, Ruzanna Chitchyan, Leticia Duboc +10
Sustainability is a central concern for our society, and software systems increasingly play a central role in it. As designers of software technology, we cause change and are respo…