Monitoring method call sequences using annotations
TL;DR: JMSeq provides a simple but expressive language to specify the observables of a Java program in terms of sequences of possibly nested method calls, and therefore is suitable for component-based software verification.
read more
About: This article is published in Science of Computer Programming. The article was published on 01 Nov 2014. and is currently open access. The article focuses on the topics: Java annotation & Runtime verification.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
White-box testing framework for object-oriented programming: an approach based on message sequence specification and aspect oriented programming
Martín Leonardo Larrea,Juan Ignacio Rodríguez Silva,Matías Nicolás Selzer,Dana K. Urribarri +3 more
- 08 Oct 2018
TL;DR: This paper presents a white-box testing framework for Object-Oriented Programming based on Message Sequence Specification and Aspect Oriented Programming that can be used to test the correct order in which the methods of a class are invoked.
2
Java Extensions for Design Pattern Instantiation
André L. Santos,Duarte Coelho +1 more
- 05 Jun 2016
TL;DR: In this article, the authors provide high-level language constructs addressing design patterns that transform source code by injecting a substantial part of their implementation at compile time, such as Singleton, Visitor, Decorator, and Observer, using annotations as the means to extend Java.
1
References
•Book
Component Software: Beyond Object-Oriented Programming
Clemens Szyperski
- 23 Nov 2002
TL;DR: Anyone responsible for developing software strategy, evaluating new technologies, buying or building software will find Clemens Szyperski's objective and market-aware perspective of this new area invaluable.
5.5K
Semantics of context-free languages
TL;DR: The implications of this process when some of the attributes of a string are “synthesized”, i.e., defined solely in terms of attributes of thedescendants of the corresponding nonterminal symbol, while other attributes are ‘inherited’, are examined.
Object-oriented software construction
Bertrand Meyer
- 01 Jan 1997
TL;DR: In this paper, the authors present a comprehensive reference on all aspects of object technology, from design principles to object-oriented techniques, Design by Contract, Object-Oriented analysis, concurrency, persistence, abstract data types and many more.
1.3K