Filters








238,966 Hits in 4.1 sec

Modular structural operational semantics

Peter D Mosses
2004 The Journal of Logic and Algebraic Programming  
Modular SOS (MSOS) is a variant of conventional Structural Operational Semantics (SOS).  ...  MSOS thus provides an exceptionally high degree of modularity in language descriptions, removing a shortcoming of the original SOS framework.  ...  The author is supported by BRICS (Basic Research in Computer Science), funded by the Danish National Research Foundation. Acknowledgements 38 A Illustrative Examples of (Non-Modular) SOS 38  ... 
doi:10.1016/j.jlap.2004.03.008 fatcat:c6uma5uflre77f476lznetcdny

Structured synchronous reactive programming with Cýu

Francisco Sant' Anna, Roberto Ierusalimschy, Noemi Rodriguez
2015 Proceedings of the 14th International Conference on Modularity - MODULARITY 2015  
Structured synchronous reactive programming (SSRP) augments classical structured programming (SP) with continuous interaction with the environment.  ...  multiple lines of execution to react to the environment independently.  ...  CONCLUSION Céu provides comprehensive support for structured synchronous reactive programming, extending classical structure programming with continuous interaction with the environment.  ... 
doi:10.1145/2724525.2724571 dblp:conf/aosd/SantAnnaIR15 fatcat:k3hyfrwcmjaktayivk6lul3cra

Using parameterized signatures to express modular structure

Mark P. Jones
1996 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '96  
This paper presents a simple type-theoretic framework for modular programming using parameterized signatures. The use of quantifiers is treated as a necessary, but independent concern.  ...  Previous attempts to formulate a type-theoretic foundation for modular programming have been based on existential, dependent, or manifest types.  ...  Acknowledgements Some of the ideas presented in this paper were developed while the author was a member of the Department of Computer Science, Yale University, supported in part by a grant from ARPA, contract  ... 
doi:10.1145/237721.237731 dblp:conf/popl/Jones96 fatcat:3eyybsihsbbifo5ergd4kqiunq

Using dependent types to express modular structure

David B. MacQueen
1986 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '86  
We review and compare the basic type-theoretic ideas behind these languages and evaluate how they meet the pragmatic requirements of "programming in the large".  ...  Several related typed languages for modular programming and data abstraction have been proposed recently, including Pebble, SOL, and ML modules.  ...  Two styles of modular programming have been illustrated here.  ... 
doi:10.1145/512644.512670 dblp:conf/popl/MacQueen86 fatcat:zu3vqpcmizeqzc2nw5lyqqbf4q

Integration of modular process simulators under the Generalized Disjunctive Programming framework for the structural flowsheet optimization

Miguel A. Navarro-Amorós, Rubén Ruiz-Femenia, José A. Caballero
2014 Computers and Chemical Engineering  
The novelty of this approach relies on using a commercial modular process simulator where the superstructure is drawn directly on the graphical use interface of the simulator.  ...  This methodology takes advantage of modular process simulators (specially tailored numerical methods, reliability, and robustness) and the flexibility of the GDP formulation for the modeling and solution  ...  Acknowledgements The authors wish to acknowledge support from the Spanish Ministry of Science and Innovation (CTQ2012-37039-C02-02).  ... 
doi:10.1016/j.compchemeng.2014.03.014 fatcat:l27jpmdlbnaa5gk7dkogxsxhey

ClustScan : an integrated program package for the semi-automatic annotation of modular biosynthetic gene clusters and in silico prediction of novel chemical structures

Antonio Starcevic, Jurica Zucko, Jurica Simunkovic, Paul F. Long, John Cullum, Daslav Hranueli
2008 Nucleic Acids Research  
The program displays the predicted chemical structures of products as well as allowing export of the structures in a standard format for analyses with other programs.  ...  The program structure allows easy incorporation of additional knowledge about domain specificities and function.  ...  J.S. declares a financial interest related to this work with regard to the potential future commercial marketing of the software and databases.  ... 
doi:10.1093/nar/gkn685 pmid:18978015 pmcid:PMC2588505 fatcat:qatjr3nlvndqxoevpayscx7bsm

THEORETICAL FOUNDATIONS FOR THE MODULAR STRUCTURE OF THE PROGRAM FOR THE DEVELOPMENT OF INTERNATIONAL ACADEMIC MOBILITY AT A UNIVERSITY
ТЕОРЕТИЧЕСКИЕ ОСНОВАНИЯ МОДУЛЬНОЙ СТРУКТУРЫ ПРОГРАММЫ РАЗВИТИЯ МЕЖДУНАРОДНОЙ АКАДЕМИЧЕСКОЙ МОБИЛЬНОСТИ В УНИВЕРСИТЕТЕ

O.V. Aldakimova, Armavir State Pedagogical University, T.I. Oleshko, Armavir State Pedagogical University
2021 Bulletin of Krasnoyarsk State Pedagogical University named after V P Astafiev  
The scientific novelty and theoretical significance of the results obtained lies in the substantiation of the modular structure of the program for the development of international academic mobility at  ...  The purpose of the article is to theoretically substantiate the modular structure of the international academic mobility development program at a university. Methodology (materials and methods).  ...  The scientific novelty and theoretical significance of the results obtained lies in the substantiation of the modular structure of the program for the development of international academic mobility at  ... 
doi:10.25146/1995-0861-2021-57-3-285 fatcat:gm3bo32wkngp5jrfsfzprqcn5u

B04 Modular programming system of the attitude control system software that enhance recursive utilization in response to satellite structural diversity
B04 衛星の構造多様性に対応し,再利用性を向上する姿勢制御系ソフトウェアのモジュールプログラミングシステム(ダイナミクス)

Kazuyuki Tsuchida, Tomohiro Narumi, Shinichi Kimura, Satoshi Ikari, Shintaro Nakajima, Ryu Funase
2015 The Proceedings of the Space Engineering Conference  
Calc Sun と FOG LPF は ,そ れ ぞ N 工 工 一 Electronic Library The Japan Society of Mechanical Engineers NII-Electronic Library Service The Japan Society of Mechanical Engineers れ セ ン サ 出 力 値 に 処 理 を 加 え る機  ...  Fig. 5 新 た なモ ジ ュ ー ル 化 の ソ フ ト ウ ェ ア 構 成 ( 太 陽 指 向 ベ ク トル 制 御) N 工 工 一 Electronic Library The Japan Society of Mechanical Engineers NII-Electronic Library Service The Japan Society of Mechanical Engineers  ... 
doi:10.1299/jsmesec.2015.24._b04-1_ fatcat:z2r6jqvupbda5kkolp4loescpq

Optimization of the Modular Educational Program Structure [article]

Alexandr Ivanchenko, Anastasia Kolomiets, Dmitriy Grinchenkov, Nguyen Van Ngon, Universitäts- Und Landesbibliothek Sachsen-Anhalt, Martin-Luther Universität
2018
Optimized structure of the educational program consisting of a set of the interconnected educational objects is offered by means of problem solution of optimum partition of the acyclic weighed graph.  ...  The condition of acyclicity preservation for subgraphs is formulated and the quantitative assessment of decision options is executed.  ...  Optimized structure of the educational program consisting of a set of the interconnected educational objects is offered by means of problem solution of optimum partition of the acyclic weighed graph.  ... 
doi:10.25673/5775 fatcat:jnhjyazdzja7himnaxxztphg4a

Proposal of the Expandable Modular Statements Method for Structural Understanding of Programming, and Development and Evaluation of a Learning Support System
プログラミングの構造的理解を指向した部品の段階的拡張手法の提案と支援システムの開発・評価

Kento Koike, Takahito Tomoto, Tomoya Horiguchi, Tsukasa Hirashima
Transactions of Japanese Society for Information and Systems in Education  
構造的理解 指向 部品 段階的拡張手法 提案 支援 開発・評価 古池 謙人 * ,東本 崇仁 ** ,堀口 知也 *** ,平嶋 宗 **** Proposal of the Expandable Modular Statements Method for Structural Understanding of Programming, and Development and Evaluation  ...  We propose the Expandable Modular Statements Method as a learning support method for structural understanding in which learners first examine programs line-by-line to construct modules for each significant  ... 
doi:10.14926/jsise.36.190 fatcat:uxoyyxgrejaj7izrbcgv6azkj4

Modular Design of NC Program in Multi-varieties and Small-batch Production Mode

Hong Liu, Yong Qiang Fan, Cheng Zhang, Li Li Luo, W.-P. Sung, J.C.M. Kao
2016 MATEC Web of Conferences  
By design the module NC program structure and build the database of basic module, provided technical support for the modular design of NC program.  ...  the modular design method of NC program and its implementation techniques.  ...  Modular NC program composition structure The modular NC program is composed of relatively independent basic function modules.  ... 
doi:10.1051/matecconf/20164402088 fatcat:24favtn6szhmndyxdha7dvbw6e

Modular Technology in Distance Learning

I.U. NAZAROV
2020 Zenodo  
In this article, the features of modular learning are compared with the features of distance learning and the model of using modular technologies in distance learning is described in accordance with certain  ...  Keywords: Informatization of education, distance learning, modular training, optimization, structuring, training content, training element, training module, principles of modularity, structural construction  ...  In the content aspect, it is a training program, the educational material of which is structured into separate modular blocks that have integrity and articulability.  ... 
doi:10.5281/zenodo.4029057 fatcat:yqjdt2cmijddppgurinlm3b3ue

Designing a Structure of the Modular Competence-Based Curriculum and Technologies for Its Implementation into Higher Vocational Institutions

Regina Gennadyevna Sakhieva, Elmira Robertovna Khairullina, Lyutziya Gabdulkhakovna Khisamiyeva, Nailya Shaukatovna Valeyeva, Alfiya Rafisovna Masalimova, Venera Gilmkhanovna Zakirova
2014 Asian Social Science  
Particularly, the authors submit the structure of the modular competence-based curricula, develop the principles of their projecting, describe the technology of introducing the modular competence-based  ...  The developed structure and technology can be applied in the professional institutions, further training and retraining centers in the process of core curriculum drafting, additional vocational programs  ...  Acknowledgements The authors thank all participants in this study for their kind cooperation. References  ... 
doi:10.5539/ass.v11n2p246 fatcat:66cmgghidnctnmythnwtbj3gqm

Non-modularity in aspect-oriented languages

Kevin Sullivan, Lin Gu, Yuanfang Cai
2002 Proceedings of the 1st international conference on Aspect-oriented software development - AOSD '02  
Aspect-oriented (AO) methods and languages seek to enable the preservation of design modularity through mappings to program structures, especially where common (object-oriented) languages fail to do so  ...  The general claim is made that AO approaches enable the modularization of crosscutting concerns. The problem that we address is that it is unclear to what extent such claims are valid.  ...  ACKNOWLEDGMENTS This work was supported by the National Science Foundation under grants CCR-9804078 and ITR-0086003.  ... 
doi:10.1145/508386.508390 dblp:conf/aosd/SullivanGC02 fatcat:hitndqlp65fkhk5vueftabwhfq

Non-modularity in aspect-oriented languages

Kevin Sullivan, Lin Gu, Yuanfang Cai
2002 Proceedings of the 1st international conference on Aspect-oriented software development - AOSD '02  
Aspect-oriented (AO) methods and languages seek to enable the preservation of design modularity through mappings to program structures, especially where common (object-oriented) languages fail to do so  ...  The general claim is made that AO approaches enable the modularization of crosscutting concerns. The problem that we address is that it is unclear to what extent such claims are valid.  ...  ACKNOWLEDGMENTS This work was supported by the National Science Foundation under grants CCR-9804078 and ITR-0086003.  ... 
doi:10.1145/508387.508390 fatcat:upick7ensbcy7gpl7o4tq5akqm
« Previous Showing results 1 — 15 out of 238,966 results