A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Modular structural operational semantics
2004
The Journal of Logic and Algebraic Programming
Preserved Fulltext
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
2015
Proceedings of the 14th International Conference on Modularity - MODULARITY 2015
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
1996
Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '96
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
1986
Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '86
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
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
2014
Computers and Chemical Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2008
Nucleic Acids Research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
ТЕОРЕТИЧЕСКИЕ ОСНОВАНИЯ МОДУЛЬНОЙ СТРУКТУРЫ ПРОГРАММЫ РАЗВИТИЯ МЕЖДУНАРОДНОЙ АКАДЕМИЧЕСКОЙ МОБИЛЬНОСТИ В УНИВЕРСИТЕТЕ
2021
Bulletin of Krasnoyarsk State Pedagogical University named after V P Astafiev
ТЕОРЕТИЧЕСКИЕ ОСНОВАНИЯ МОДУЛЬНОЙ СТРУКТУРЫ ПРОГРАММЫ РАЗВИТИЯ МЕЖДУНАРОДНОЙ АКАДЕМИЧЕСКОЙ МОБИЛЬНОСТИ В УНИВЕРСИТЕТЕ
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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 衛星の構造多様性に対応し,再利用性を向上する姿勢制御系ソフトウェアのモジュールプログラミングシステム(ダイナミクス)
2015
The Proceedings of the Space Engineering Conference
B04 衛星の構造多様性に対応し,再利用性を向上する姿勢制御系ソフトウェアのモジュールプログラミングシステム(ダイナミクス)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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]
2018
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
プログラミングの構造的理解を指向した部品の段階的拡張手法の提案と支援システムの開発・評価
Transactions of Japanese Society for Information and Systems in Education
プログラミングの構造的理解を指向した部品の段階的拡張手法の提案と支援システムの開発・評価
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
構造的理解 指向 部品 段階的拡張手法 提案 支援 開発・評価 古池 謙人 ＊ ，東本 崇仁 ＊＊ ，堀口 知也 ＊＊＊ ，平嶋 宗 ＊＊＊＊
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
2016
MATEC Web of Conferences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2020
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2014
Asian Social Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2002
Proceedings of the 1st international conference on Aspect-oriented software development - AOSD '02
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2003; you can also visit the original URL.
The file type is application/pdf.
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
2002
Proceedings of the 1st international conference on Aspect-oriented software development - AOSD '02
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2003; you can also visit the original URL.
The file type is application/pdf.
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