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
A Logic-based Framework for Software Construction
1997
Journal of King Saud University: Computer and Information Sciences
Preserved Fulltext
This paper describes a framework for assisting the automatic construction of programs from separately designed and compiled modules. ...
The framework has facilities to automatically extract many important items of information from source codes. It has also facilities to deduce new items from old ones. ...
Logical dependencies Modern software engineering principles suggest that a software component should have two parts (a specification and a body) but most software construction tools have experienced difficulties ...
doi:10.1016/s1319-1578(97)80003-1
fatcat:3fo6rlkmabaubnmcbucjxdhgbq
Integration of Fuzzy Logic, Particle Swarm Optimization and Neural Networks in Quality Assessment of Construction Project
2010
Journal of Software
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 2015; you can also visit the original URL.
The file type is application/pdf.
The adoption of a particle swarm optimization (PSO) model to train perceptions in assessment and predicting the quality of construction projects in China. ...
Then, we defined the elements of an assessment matrix using fuzzy and a quality assessment model for construction project is set up. ...
The learning rate was 0.01, and expectative error was 0.001.Then the neural network was programmed by software Matlab6.1. ...
doi:10.4304/jsw.5.7.737-744
fatcat:jgpaiuonuvbwvonfkkvotonbwq
Combining Rules and Ontologies with Carneades
2011
International Web Rule Symposium
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 Carneades software system provides support for constructing, evaluating and visualizing arguments, using formal representations of facts, concepts, defeasible rules and argumentation schemes. ...
This paper illustrates how rules and ontologies can be combined in Carneades with a prototype legal application for analyzing open source software license compatibility issues in particular cases. ...
Earlier version of this paper were presented at the Jurix 2010 workshop on Modeling Legal Cases and Legal Rules and the Thirteenth International Conference on Artificial Intelligence and Law (ICAIL 2011 ...
dblp:conf/ruleml/Gordon11
fatcat:kfdxykdqxba7xgfiofo5jkna2m
Constructing reconfigurable software for machine control systems
2002
IEEE Transactions on Robotics and Automation
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 2004; you can also visit the original URL.
The file type is application/pdf.
, a control logic driver for execution of behavioral specifications, and a set of service protocols for platform adaptation. ...
and maintenance costs are achieved with the control software constructed using the proposed architecture. ...
Storoshchuk of General Motors for the industry application results in Section IV-C. ...
doi:10.1109/tra.2002.802235
fatcat:t7h7j6jqyvfp3jqtawv7ayamnu
DR. GEO II: Adding Interactivity Planes in Interactive Dynamic Geometry
2007
Fifth International Conference on Creating, Connecting and Collaborating through Computing (C5 '07)
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 2014; you can also visit the original URL.
The file type is application/pdf.
However, such environments are often driven in a rigid manner, following a well specified construction path. ...
This rigidity is therefore a source of internal tension for the learner and it can reduce the pedagogical added value of the interactive geometry environments. ...
The logical construction plane integrates the classical functions of dynamic geometry software: construction of point, segment, straight line, radius, circle, arc, vector. ...
doi:10.1109/c5.2007.12
dblp:conf/c5/FernandeDC07
fatcat:6xkepuekcbfgrioty2ebvmvvnu
A safety-focused verification using software fault trees
2012
Future generations computer systems
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.
We evaluated the feasibility of FTA's applicability as a verification tool on a prototype model of a nuclear power reactor protection system (RPS) software to be deployed in plants under construction in ...
When developing safety-critical software such as reactor protection systems (RPS) in nuclear power plants, a demonstration of software trust (e.g., safety) is not only absolutely essential but also usually ...
of language constructs ...
doi:10.1016/j.future.2011.02.004
fatcat:xmm5vg425nggbft5llglj2nrnq
Formal Specification for Design Diversity: Two Case Histories, One Approach
2010
Symposium on Advances in Databases and Information Systems
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.
construction of software tools to process the logic, following a rigorous refinement approach. ...
This paper describes how two formal specifications have been used for the construction of a precise model of the logic, alternative to those represented using the user and machine notations, and for the ...
the logic; construct a model of the schema definitions embodying the templates and rules used to construct the interlocking logic; formalise the reasoning mechanisms used to apply the schema to the ...
dblp:conf/adbis/Minkowitz10
fatcat:ycngtsyg6jhujcq2cdtbskodnm
Software tool for evaluation of reliability and survivability of complex technical system based on logical-probabilistic methodology
2022
Doklady BGUIR
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.
Modified logical-probabilistic method and software tool for evaluating the reliability and survivability of onboard equipment (OE) of small satellites were developed (SS). ...
The correctness of the suggested method and software tool was shown by computational experiments on some systems of CS SS similar to Belarusian SS, and later compared with the "Arbitr" software complex ...
The logical-probabilistic methodology The usage of logical-probabilistic approach in evaluating the reliability and survivability of a structurally complex system provides sequential construction of two ...
doi:10.35596/1729-7648-2021-19-8-72-80
fatcat:usj4zvhbanhahowkb5xjk6twem
Meetings
1990
Annals of Pure and Applied Logic
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.
, software specification, type systems, verification. ...
, lambda and combinatory calculi, logical aspects of computational complexity, logics in artificial intelligence, logic programming, modal and temporal logics, program logic and semantics, rewrite rules ...
to the following topics: Logic, Proof, Specification and Semantics of Programs and Languages; Theories and Models of Concurrent, Parallel, and Distributed Computation; Constructive Logic, Category Theory ...
doi:10.1016/0168-0072(90)90056-8
fatcat:2fhhk7g6kze6vavtdn25aksmxy
Information and logical modeling in construction
2020
International Journal of Advanced Trends in Computer Science and 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 2022; you can also visit the original URL.
The file type is application/pdf.
The article discusses the tasks and peculiarities of the system approach to information and logical modeling in construction. ...
The approach of parameterization and identification of information-logical models, their evolution during the life cycle of construction, from design to operation, is justified. ...
INTRODUCTION Solving problems of prompt preparation of highquality construction documentation and effective management of the construction process requires the involvement of modern information-logical ...
doi:10.30534/ijatcse/2020/46912020
fatcat:er2u5a2zazhlroqwryojzek44y
A Domain-Specific Safety Analysis for Digital Nuclear Plant Protection Systems
2011
2011 Fifth International Conference on Secure Software Integration and Reliability Improvement - Companion
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.
NuFTA mechanically constructs a software fault tree of nuclear reactor protection systems specified with NuSCR requirement formal specification language. ...
Within the domain specific restrictions, NuFTA can construct software fault trees mechanically and aid safety experts' analyses efficiently. ...
Software Fault Tree Analysis Software fault tree analysis (FTA) analyzes an undesired state of a software system using Boolean logic such as AND (∧) and OR (∨). ...
doi:10.1109/ssiri-c.2011.21
dblp:conf/ssiri/YoonJY11
fatcat:b73qu4jwcnd2npz4jru5qs6qmu
On the Role of Logic and Algebra in Software Engineering
[chapter]
2013
Mathematics, Computer Science and Logic - A Never Ending Story
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.
In the following we outline the role that we see for logic and algebra in the emerging field of software engineering. M. Broy ( ) ...
Nevertheless, due to the rising quality demands for software and the necessary improvement of productivity by advanced tools we see a growing need for a proper foundation and comprehensive theory of software ...
Finally we aim at modeling and its theory as an integral part of software construction as an engineering discipline. ...
doi:10.1007/978-3-319-00966-7_2
fatcat:wjjcems3snewxfs7mh6elh7l3u
Meta-Logical Frameworks and Formal Digital Libraries
[chapter]
2008
Lecture Notes in Computer 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 2007; you can also visit the original URL.
The file type is application/pdf.
Analogously, proofs need to be understood not only in the context of a single specification logic, but interpreted instead in some desired target logic, be it constructive type theory or separation logic ...
Thus, a common meta-logical framework infrastructure that facilitates the construction of libraries of code and libraries of proofs will help us make strides towards a solution of the grand challenge. ...
doi:10.1007/978-3-540-69149-5_51
fatcat:23jhr6jginasfbdz7fsox4jfim
Knowledge Management, Semantic Web and Logic of Significances to Create Technologic Skills for Support e-Learning Methodologies
2014
International Journal of Information and Education Technology
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.
We explain the construction process of multidisciplinary links as a Logic of significances based in the Constructivist theory and the web semantic as an instrument for knowledge representation useful to ...
The preliminary result shows the social analysis categories as knowledge representation of the logic of significances of a researching-teaching group who design an e-learning software and the same time ...
For the construction of the Logic of significances in the multidisciplinary relation, due to the fact that the process of design and construction of the ontological conceptual scheme of the semantic web ...
doi:10.7763/ijiet.2014.v4.358
fatcat:lxz6srxmxfapriw552by43xanq
The sirens' call
2003
Nature Cell Biology
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 2012; you can also visit the original URL.
The file type is application/pdf.
The story of the development of software components and structural system, leading to the Trusset, act as a means of discussing the larger issues framing the research -the potential pitfalls and benefits ...
The narrative of our design, development and prototyping experiments spans seven years, including our current project, the Trusset software/structural system. ...
design logic of the software. ...
doi:10.1038/ncb0803-697
pmid:12894177
fatcat:ktx3wzaj35axblpjoobyjdj2ti
« Previous
Showing results 1 — 15 out of 444,769 results