Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,400,056 papers from all fields of science
Search
Sign In
Create Free Account
Implicit invocation
Known as:
Invocation (disambiguation)
Implicit invocation is a term used by some authors for a style of software architecture in which a system is structured around event handling, using…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
8 relations
Architectural pattern
Callback (computer programming)
Inversion of control
Mach-II
Expand
Broader (1)
Software architecture
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
A Pattern-Based Architectural Style for Self-Organizing Software Systems
J. Fernandez-Marquez
,
G. Serugendo
,
Paul L. Snyder
,
G. Valetto
,
F. Zambonelli
Adaptive, Dynamic, and Resilient Systems
2014
Corpus ID: 16920158
We present an architectural style for selforganizing software systems, which leverages a catalog of design patterns for self…
Expand
2010
2010
Implicit invocation of traits
Thomas Pawlitzki
,
F. Steimann
ACM Symposium on Applied Computing
2010
Corpus ID: 6646834
We propose the introduction of a special kind of traits that implement methods implicitly invoked when an event of a given type…
Expand
2005
2005
Implementation and verification of implicit-invocation systems using source transformation
Hongyu Zhang
,
Jeremy S. Bradbury
,
J. Cordy
,
J. Dingel
IEEE Working Conference on Source Code Analysis…
2005
Corpus ID: 16640651
In this paper we present a source transformation-based framework to support uniform testing and model checking of implicit…
Expand
2004
2004
Understanding aspects via implicit invocation
Jia Xu
,
Hridesh Rajan
,
K. Sullivan
Proceedings. 19th International Conference on…
2004
Corpus ID: 646783
Aspect-oriented programming (AOP) promises improved modularity in software design. However, it also presents novel mechanisms and…
Expand
2004
2004
Aspect Reasoning by Reduction to Implicit Invocation
Jia Xu
,
Hridesh Rajan
,
K. Sullivan
2004
Corpus ID: 17271516
Aspect-oriented programming constructs complicate reasoning about program behavior. Our position is that we can reduce key…
Expand
2004
2004
A transformational framework for testing and model checking implicit-invocation systems
Hongyu Zhang
International Conference on Software Engineering
2004
Corpus ID: 11884795
With the growing size and complexity of software systems, software verification and validation (V&V) is becoming increasingly…
Expand
2003
2003
Evaluating and improving the automatic analysis of implicit invocation systems
Jeremy S. Bradbury
,
J. Dingel
ESEC/FSE-11
2003
Corpus ID: 8383433
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less…
Expand
2001
2001
Event-based implicit invocation decentralized in Ada
Liang Xianzhong
,
Wang Zhenyu
ALET
2001
Corpus ID: 1260046
Nowadays more and more attraction is drawn by the event-based implicit invocation—one of useful architectural patterns, because…
Expand
2000
2000
Model checking implicit-invocation systems
D. Garlan
,
Serge Khersonsky
Tenth International Workshop on Software…
2000
Corpus ID: 2945039
While implicit invocation (publish-subscribe) systems have good engineering properties, they are difficult to reason about and to…
Expand
1993
1993
Adding implicit invocation to traditional programming languages
D. Garlan
,
Curtis M. Scott
Proceedings of 15th International Conference on…
1993
Corpus ID: 18299500
Implicit invocation based on event broadcasting is an increasingly important technique for integrating systems. The authors…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE