ABS: A Core Language for Abstract Behavioral Specification
By Einar Broch Johnsen, Reiner Hähnle, Jan Schäfer, Rudolf Schlatte, Martin Steffen. Formal Methods for Components and Objects, 2010
423 citations recorded by the source corpus.
Subfields: Artificial Intelligence, Computational Theory and Mathematics
View Paper: https://www.semanticscholar.org/paper/d6d36d8146297c752de181edc966e0654b3df67c
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
In Artificial Intelligence
- Gunter Saake
- Christian Kästner
- Sven Apel
- Thomas Thüm
- Ina Schaefer
- Lionel Claude Briand
- Andrea Arcuri
Citations in the corpus
- A Classification and Survey of Analysis Strategies for Software Product Lines (2014, methodology): “Finally, product-line specifications are used in several approaches not covered in our survey (e.g., [Thüm et al. 2012; Johnsen et al. 2012; Kim et al. 2013]).”