Results 81 to 90 of about 512,676 (214)

The Larch/Smalltalk Interface Specification Language

, 1994
Object-oriented programming languages, such as Smalltalk, help one to build reusable program modules. The reuse of program modules requires adequate documentation --- formal or informal.
Specification Techniques, Yoonsik Cheon, Gary T. Leavens, About Programs Assertions   +3 more
core  

АНАЛІЗ ВИМОГ ЗА ЧАСТОТОЮ, ЩО РЕГЛАМЕНТУЮТЬСЯ НАЦІОНАЛЬНИМИ ТА МІЖНАРОДНИМИ СТАНДАРТАМИ ДЛЯ РОЗПОДІЛЬЧИХ МЕРЕЖ І МІКРОМЕРЕЖ

Праці Інституту електродинаміки Національної академії наук України
The paper is devoted to the analysis of frequency requirements regulated by the national and international standards for distribution networks and microgrids.
А.О. Стелюк, Л.М. Лук’яненко   +1 more
doaj   +1 more source

IMS Learning Design Version 1.0 Final Specification

, 2006
The IMS Learning Design specification supports the use of a wide range of pedagogies in online learning. Rather than attempting to capture the specifics of many pedagogies, it does this by providing a generic and flexible language.
Hummel, Hans, Vogten, Hubert, Brouns, Francis, Tattersall, Colin, Manderveld, Jocelyn, Sloep, Peter, Koper, Rob   +6 more
core  

Specification and verification of reconfiguration protocols in grid component systems [PDF]

, 2006
In this work we present an approach for the formal specification and verification of the reconfiguration protocols in Grid component systems. We consider Fractal, a modular and extensible component model.
Basso, A., Getov, Vladimir, Alessandro Basso, Alexander Boltov, Mariusz Urbanski, Henrio, L., Bolotov, A., Ludovic Henrio, Vladimir Getov, Urbanski, M., Artie Basukoski, Basukoski, A.   +11 more
core   +1 more source

Formal Specification of Multi-Agent Systems

, 1995
In this paper the framework DESIRE, originally designed for formal specification of complex reasoning systems is used to specify a real-world multi-agent application on a conceptual level.
Keplicz, BD, Jennings, N. R., Brazier, FMT, Treur, J, Keplicz, B. D., Jennings, NR, Treur, J., Brazier, F. M. T.   +7 more
core  

Analysis, specification and verification requirements for control systems cloud training platforms

CTE Workshop Proceedings, 2014
Digital control systems are now an essential and critical part of Cloud Training Platforms. Numerous methods, tools and standards have been developed to ensure that such systems will comply with their requirements.
Elvira Faridovna Matveeva, Rainer Unland, Martin Gröger, Dietrich Brandt, Torsten Brinda, Vardan Surenovich Mkrttchian   +5 more
doaj   +1 more source

The formal specification of a blackboard framework [PDF]

The blackboard architecture is a complex, though powerful, model of problem-solving, and opinions vary as to its interpretation. The use of formal specifications for blackboard systems appears warranted by their complexity, their application in real-time
Craig, Iain D.
core  

Primordial Germ Cell Technologies for Avian Germplasm Cryopreservation and Investigating Germ Cell Development

The Journal of Poultry Science, 2012
The germ cell lineage is unique as it is the cell lineage that ensures the continuation and the variation of genetic information from one generation to the next.
James D. Glover, Michael J. McGrew
doaj   +1 more source

Specification and animation of reactive systems

, 1996
SOLVE (Specification using an Object-based, LOTOS-defined, Visual language) is designed to allow formal requirements capture, particularly for reactive systems.
C. Chan, Ashley Mcclenaghan, Colin Chan Specification, Kenneth J. Turner, A. Mcclenaghan, K. J. Turner   +5 more
core  

Resilient Web Service Open API Specification

<h2>Resilient Web Service Open API Specification</h2> <div> <div> <div> <div> <div> <div> <p>This <a href="https://www.openapis.org/">Open API</a> specification describes the extended ...
Rokitte, Hannes
core   +1 more source