A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
Filters
From multi-modal scenarios to code
2006
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering - SIGSOFT '06/FSE-14
Preserved Fulltext
We exploit the main similarity between the aspect-oriented programming paradigm and the inter-object, scenario-based approach to specification in order to construct a new way of executing systems based ...
on the latter. ...
In addition, we would like to thank Gera Weiss for early discussions on LSC compilation, and Itai Segall for initiating and helping with the Memory Game example. ...
doi:10.1145/1181775.1181802
dblp:conf/sigsoft/MaozH06
fatcat:vfdncwkqfngczppiksm7fxhbhu
Ischemia Time On Renal Allograft Survival: Efficacy Of Machine Perfusion
2014
Value in Health
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.
Similarly, South Korea has a formal process based on cost-effectiveness or cost minimization analysis. ...
Based on the results, a process map was developed outlining the steps and timeline for including country-specific needs in drug development plans. ...
Similarly, South Korea has a formal process based on cost-effectiveness or cost minimization analysis. ...
doi:10.1016/j.jval.2014.03.1689
fatcat:lfbjjxow4rbghgjpbxjka2vcgy
Comparing Treatment Modalities For End-Stage Renal Disease: A Meta-Analysis
2014
Value in Health
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.
Similarly, South Korea has a formal process based on cost-effectiveness or cost minimization analysis. ...
Based on the results, a process map was developed outlining the steps and timeline for including country-specific needs in drug development plans. ...
Similarly, South Korea has a formal process based on cost-effectiveness or cost minimization analysis. ...
doi:10.1016/j.jval.2014.03.1690
fatcat:ihv36melxnbzzd57qsibe4v7qa
Meta-Analysis Of Il-2 Receptor Antagonist (Il-2 Ra) As Induction Therapy In Pediatric Renal Transplantation
2014
Value in Health
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.
Similarly, South Korea has a formal process based on cost-effectiveness or cost minimization analysis. ...
Based on the results, a process map was developed outlining the steps and timeline for including country-specific needs in drug development plans. ...
Similarly, South Korea has a formal process based on cost-effectiveness or cost minimization analysis. ...
doi:10.1016/j.jval.2014.03.1688
fatcat:tuxhbskhqffkzgoaeee6bbmi6m
The Economic And Humanistic Burden Of Treatment Alternatives For The Management Of Chronic Urinary Retention In Adult Spinal Cord Injured Individuals
2014
Value in Health
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.
Similarly, South Korea has a formal process based on cost-effectiveness or cost minimization analysis. ...
Based on the results, a process map was developed outlining the steps and timeline for including country-specific needs in drug development plans. ...
Similarly, South Korea has a formal process based on cost-effectiveness or cost minimization analysis. ...
doi:10.1016/j.jval.2014.03.1691
fatcat:cbzm7c2ojfecnjd3lmndqe5dhq
Industrial perspective on static analysis
1995
Software Engineering Journal
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 2011; you can also visit the original URL.
The file type is application/pdf.
Static analysis within industrial applications provides a means of gaining higher assurance for critical software. ...
The conventional method of assessment is based on professional judgement a s well as testing (and static analysis). ...
An informal specification was available and it was necessary to derive a formal specification from this in order to proceed with full static analysis. ...
doi:10.1049/sej.1995.0010
fatcat:7otrfw6vxrc7dg5yiyh4k5hb3e
Modal Change Logic (MCL): Specifying the reasoning of knowledge-based systems
1998
Data & Knowledge 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 2008; you can also visit the original URL.
The file type is application/pdf.
We investigate the formal specification of the reasoning process of knowledge-based systems in this paper. ...
Most of them are based on the KADS model of expertise or define their conceptual model as a modification of this model. A survey of these languages can be found in [ ...
Common to all formal specification approaches for KBSs is that a formal semantics has to cover three aspects: the specification of static aspects of a KBS, the specification of the dynamics of a KBS (i.e ...
doi:10.1016/s0169-023x(98)00047-0
fatcat:d2k7jaeuindmnmczta6xcmh2gi
A Review of Object-Oriented Approaches in Formal Methods
1995
Computer journal
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 2013; you can also visit the original URL.
The file type is application/pdf.
This paper presents a survey of recent approaches in the application of the object-oriented paradigm to formal specification. ...
The complexity of current information systems demands the use of a higher degree of formalism in the development process. ...
, classes and inheritance) and are based on a semantic model that allows formal manipulation of the specification. ...
doi:10.1093/comjnl/38.10.777
fatcat:ls2fzkgannbrhn2qox7mrq2gye
EXPOSE: an animation tool for process-oriented specifications
1991
Software Engineering Journal
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.
These are all based on a model of interacting sequential processes and have many basic features in common. ...
Evaluation EXPOSE was developed to explore ways of presenting static and dynamic interpretations of a process-oriented formal specification that might help to make the meaning of such specifications more ...
Appendix : The LOTOS language The LOTOS language consists of two largely independent components: 0 a process algebra, based mainly on ideas used in CCS [8] and CSP [9] . ...
doi:10.1049/sej.1991.0045
fatcat:l4vtccxeo5fhzbddwst5elfpy4
A Logical Approach for Implementing Dynamic Business Rules
2010
Contemporary Management 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 2015; you can also visit the original URL.
The file type is application/pdf.
A static business rule is a constraint (integrity) or derivation rule that applies to each individual state of the business, taken one state at a time. ...
The purpose of this paper is to implement DBR based on our proposed modeling methodology. ...
The system creates and constructs a specific-domain DBR engine based on the target system's parameters at the end. ...
doi:10.7903/cmr.2584
fatcat:dtw5evnurfcfjiven77pvo3vr4
Consistency checking scenario-based specifications of dynamic systems by combining simulation and synthesis
2012
Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations and Applications - BM-FA '12
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 propose a scenario-based specification approach based on Modal Sequence Diagrams and a novel technique for finding inconsistencies in such specification based on a combination of simulation and synthesis ...
We thus propose to check specification parts for static component configurations via synthesis. ...
Foundations MSDs were proposed by Harel and Maoz as a formal interpretation of UML sequence diagrams, based on the concepts of LSCs [12] . ...
doi:10.1145/2325276.2325278
dblp:conf/bmfa/GreenyerF12
fatcat:ft5dbm2bcbg4rej2spcknsvy6m
Failure mode and effect analysis on safety critical components of space travel
2015
Management Science Letters
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 2016; you can also visit the original URL.
The file type is application/pdf.
An example will be presented here which specifically focuses on the Solid Rocket Boosters (SRBs) to illustrate the FMECA approach to reliable space travel. Growing Science Ltd. All rights reserved. 5 ...
Sending men to space has never been an ordinary activity, it requires years of planning and preparation in order to have a chance of success. ...
Acknowledgement The authors would like to thank the anonymous referees for constructive comments on earlier version of this paper. ...
doi:10.5267/j.msl.2015.5.006
fatcat:3mfkyj5ugfb3dg73chwdxmozpy
Developing a low-cost high-quality software tool for dynamic fault-tree analysis
2000
IEEE Transactions on Reliability
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 2006; you can also visit the original URL.
The file type is application/pdf.
The evaluation and evolution of such methods based on use in practice is critical to research progress, but few such methods see significant use. ...
Tools on the order of a million lines of code are typical, with much of the code devoted to tool interoperability, the human-computer interface and other issues not directly related to modeling and analysis ...
For this reason, we also developed a set of carefully worded natural language specifications for each gate, based on the formal specification. ...
doi:10.1109/24.855536
fatcat:b6he25474jakpbg67ik27q5oh4
Personality Diagnosis for Personalized eHealth Services
[chapter]
2010
Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications 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 first approach presented relies on a static clustering of the population, with a specific motivation strategy designed for each cluster. ...
The second approach relies on a dynamic population clustering, making use of recommendation systems and algorithms, like Collaborative Filtering. ...
PIPS started the clinical trial described above making large use of a Static Clustering approach, that classified the patients' health personality based on their motivational status and provided specific ...
doi:10.1007/978-3-642-11745-9_25
fatcat:a3gt7o3szjekpkjg73447tit6a
Page 112 of International Journal of Oral History Vol. 2, Issue 2
[page]
1981
International Journal of Oral History
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
In presenting individual experi- ences as separate entities, there is bound to be some denial of history, since such presentations evade explanations based on any process wider than the individual endurance ...
that formal action is unnecessary. ...
« Previous
Showing results 1 — 15 out of 51,010 results