444,769 Hits in 4.0 sec

A Logic-based Framework for Software Construction

Abid Jazaa
1997 Journal of King Saud University: Computer and Information Sciences  
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

Huawang Shi, Wanqing Li
2010 Journal of Software  
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

Thomas F. Gordon
2011 International Web Rule Symposium  
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

Shige Wang, K.G. Shin
2002 IEEE Transactions on Robotics and Automation  
, 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

Hilaire Fernandes,, Stephane Ducasse, Thibault Carron
2007 Fifth International Conference on Creating, Connecting and Collaborating through Computing (C5 '07)  
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

Sungdeok Cha, Junbeom Yoo
2012 Future generations computer systems  
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

Cydney Minkowitz
2010 Symposium on Advances in Databases and Information Systems  
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

V. Yu. Skobtsov, N. V. Lapitskaya
2022 Doklady BGUIR  
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


1990 Annals of Pure and Applied Logic  
, 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

Myasnikov Alexey Georgievich
2020 International Journal of Advanced Trends in Computer Science and Engineering  
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

Sanghyun Yoon, Jaeyeon Jo, Junbeom Yoo
2011 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement - Companion  
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]

Manfred Broy
2013 Mathematics, Computer Science and Logic - A Never Ending Story  
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]

Carsten Schürmann
2008 Lecture Notes in Computer Science  
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

Patricia Carrillo Velázquez
2014 International Journal of Information and Education Technology  
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

Valerie A. Fadok
2003 Nature Cell Biology  
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