formal approach
The requirements analysis & design for a clinical information system: a formal approach
... Jeremy DH Holland The RequirementsAnalysis & Design for a Clinical Information System:A Formal Approach Volume I: Thesis 3.3.2 IT Strategy Document - Practice management systems St Thoma[r] ...
463
Morphological Analysis (A Formal Approach)
... MORPHOLOGICAL ANALYSIS (A FORMAL APPROACH) WERNER BRECHT M O R P H O L O G I C A L ANALYSIS (A F O R M A L APPROACH) 1 MOTIVATION AND BASIC IDEAS Since 1972 a researcher team in Bonn has been working[.] ...
14
A Formal Approach to Testing Programs in Practice
... We have applied our approach to test an IC Card software system developed by a group of senior students at Hosei University. The system is intended to provide three services: operations on ATM, purchase of railway ...
24
A formal approach toward authenticated authorization without identification
... 30. Finally, U generates a new salt value to prevent both A and R from being able to link future pseudonyms back to a similar source. This approach cannot prove a given user attempted a sybil attack when he or she ...
66
Formal Approach to Detect and Resolve Anomalies while Clustering ABAC Policies
... a formal method that detects and resolves anomalies in ABAC ...proposed approach is preceded by rules extraction and rules ...suggested approach is guaranteeing that the semantics of the original ...
14
A Formal Approach for Calculating the Radiation Fields of a Linear Wire Antenna
... B´arbula, Av. Universidad, Valencia, Edo. Carabobo, Venezuela Abstract—In classical antenna books, the field radiated by a filamentary antenna is calculated by integrating the electrical current induced over the wires as ...
9
A formal approach to fixing bugs
... Bugs within programs typically arise within well-known motifs, such as complex language features or misunderstood programming interfaces. Some software development tools often detect some of these situations, and some ...
18
Bootstrapping Vehicles: A Formal Approach to Unsupervised Sensorimotor Learning Based on Invariance
... Canonical robotic sensors have relatively similar dynamics at the sensel level While it is common for robotic applications to work with heterogeneous sensors, the actual “sensor fusion” [r] ...
417
Legitimacy of the Ruling: a Formal Approach
... For if the point at issue is the proper meaning of a word, given the alleged purpose of the provision, the Court’s judicial reasoning seems to go without a genuine justification: it j[r] ...
7
Towards formal usability approach for BIM applications
... The results presented in the table 2 demonstrate that even within the same working environment usability can be perceived differently. It is important to acknowledge that both role and expertise have influenced the view ...
7
A formal theory of railway track networks in higher order logic and its applications in interlocking design
... applying formal logic in the analysis and design of computer systems has been carried out for several decades, but it is only recently that the technology has m atured to a point where it is feasible to use it in ...
315
A formal architecture centric and model driven approach for the engineering of science gateways
... this approach is nearing completion, we are now focusing on QoS properties and their corresponding design ...our approach can tackle QoS specifications in addition to platform ...our approach depends ...
188
From Simple to Complex and Ultra-complex Systems: A Paradigm Shift Towards Non-Abelian Systems Dynamics
... categorical approach to complex biological systems which is Robert Rosen’s seminal paper on the metabolic-replication, (M,R)-systems and the general, abstract representation of biological systems in the category ...
23
The impact of formal institutions on social trust formation: A social cognitive approach
... Efficient formal institutions are deemed to be conducive to establishing trust since they enforce third-party agreements (Herreros and Criado, ...breached, formal institutions may increase the cost of ...
40
Hammerstein-Wiener Model: A New Approach to the Estimation of Formal Neural Information
... new approach is introduced to estimate the formal information of ...neurons. Formal Information, mainly discusses about the aspects of the response that is related to the ...
7
Formal Specification of UML Use Case Diagram - A CASL based approach
... In the paper [42] use higher order logic (HOL) as implemented in the generic interactive theorem prover Isabelle. The paper [31] uses first order logic. OCL 2.0 has a third truth value “undefined” and allows collections ...
5
The role of stormwater in the urban water cycle
... matrix approach enables the identification of relative degrees of difficulty and constraints in providing adequate water related services and infrastructure to the development ...
8
The influence of educational technology on affective education in maritime education and training (MET)
... level approach, and examination of Tier 2 and Tier 3 for the GBS for bulk carriers and oil tankers was also conducted within the correspondence group as well as the session (International Maritime Organization, ...
85
An integrated model checking toolset for kernel P systems
... cation approach for kP-Lingua models enriches k PWorkbench with a mechanism for defining kP-Queries files, which are especially designed for the purpose of being used to verify kP-Lingua ...
16