Filters








51,010 Hits in 3.4 sec

From multi-modal scenarios to code

Shahar Maoz, David Harel
2006 Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering - SIGSOFT '06/FSE-14  
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

J.O. Costa, M.A.A. Machado, C. Simão Filho, L.A.F. Silva, A.A. Guerra Junior, F.A. Acurcio
2014 Value in Health  
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

G.L. Queeley, E.S. Campbell
2014 Value in Health  
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

A.M. Desai, T.M. Cavanaugh
2014 Value in Health  
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

J. Clark, S. Mealing, L. Barcena, M.B. Andersen, D.A. Scott
2014 Value in Health  
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

B.A. Wichmann, A.A. Canning, D.W.R. Marsh, D.L. Clutterbuck, L.A. Winsborrow, N.J. Ward
1995 Software Engineering Journal  
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

Dieter Fensel, Rix Groenboom, G.R.Renardel de Lavalette
1998 Data & Knowledge Engineering  
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

A. Ruiz-Delgado
1995 Computer journal  
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

Adam C. Winstanley, David W. Bustard
1991 Software Engineering Journal  
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

Nasser Karami, Junichi Iijima
2010 Contemporary Management Research  
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

Joel Greenyer, Jens Frieben
2012 Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations and Applications - BM-FA '12  
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

Kouroush Jenab, Joseph Pineau
2015 Management Science Letters  
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

J.B. Dugan, K.J. Sullivan, D. Coppit
2000 IEEE Transactions on Reliability  
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]

Fabio Cortellese, Marco Nalin, Angelica Morandi, Alberto Sanna, Floriana Grasso
2010 Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering  
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  
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