Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

8 relations
Architectural patternCallback (computer programming)Inversion of controlMach-II

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
We present an architectural style for selforganizing software systems, which leverages a catalog of design patterns for self… 
2009
2009
LuaGravity , a Reactive Language Based on Implicit Invocation
The reactive programming paradigm covers a wide range of applications, such as games and multimedia systems. Mainstream languages… 
2005
2005
Automated Invariant Maintenance via OCL
UML design models, specifically their declarative OCL invariants, must be refined into delivered code. A key problem is the need… 
2004
2004
A transformational framework for testing and model checking implicit-invocation systems
With the growing size and complexity of software systems, software verification and validation (V&V) is becoming increasingly… 
2004
2004
Title : Specifying and Proving Object-oriented Programs Area : Software Engineering
This paper develops a new approach to the specification of object behavior. It utilizes an algebraic framework for precise… 
2003
2003
An Introduction to Implicit Invocation Architectures
ColdFusion's initial appeal was to "webmasters" who wanted to make their sites more dynamic. It succeeded admirably. But just as… 
2001
2001
Event-based implicit invocation decentralized in Ada
Nowadays more and more attraction is drawn by the event-based implicit invocation—one of useful architectural patterns, because… 
2001
2001
Aspect-Oriented Programming is Quantification and Implicit Invocation
We propose that the distinguishing characteristic of Aspect-Oriented Programming (AOP) languages is that they allow programming… 
1998
1998
A Type Theory for Software Architectures
Software architectures have the potential to substantially improve the development and evolution of large, complex, multilingual… 
1998
1998
Analysis and applications of receptive safety properties in concurrent systems
Formal verification for complex concurrent systems is a computationally intensive and, in some cases, intractable process. The… 
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)