Filters








617,256 Hits in 4.6 sec

Abstractions for Validation in Action [chapter]

Guido de Caso, Victor Braberman, Diego Garbervetsky, Sebastian Uchitel
2012 Lecture Notes in Computer Science  
In this paper, we exemplify how EPAs might be used for validation of software engineering artefacts by showing the use of EPAs to support some programming tasks on a simple C# class.  ...  Enabledness Preserving Abstractions (EPAs) are concise representations of the behaviour space for such artefacts.  ...  Validation, in industrial practice, is also a substitute for verification.  ... 
doi:10.1007/978-3-642-30982-3_6 fatcat:pzlksvpqorgpdfsdbmc4pnvx5u

A Formally Verified Validator for Classical Planning Problems and Solutions

Mohammad Abdulaziz, Peter Lammich
2018 2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI)  
In this paper we present a formally verified validator for planning problems and their solutions.  ...  We argue that our approach provides a superior compromise in constructing validators where one can have the best of two worlds: (i) clear and concise semantics w.r.t. which the validator is built thus  ...  Lifschitz, and we, define abstract actions as partial functions from abstract states to abstract states. However, we model partiality of actions using the option type in Isabelle.  ... 
doi:10.1109/ictai.2018.00079 dblp:conf/ictai/AbdulazizL18 fatcat:k7zwmcl24fht7dlbzucgv4fmve

Developing Concept Construction Based Abstract Algebra Textbook to Improve Students' Understanding

Zuhrotun Nazihah, Dwi Nurcahyo
2019 Eduma Mathematics Education Learning and Teaching  
Therefore, based on the results, it could be concluded that the textbook could improve students' understanding and it was suitable to be used as abstract algebra's learning book in the learning process  ...  Based on the data analysis results, the level of textbook's validity produced was achieving valid criteria without revision, but the results of students' learning tests showed 92,7% students reached the  ...  These basic materials become the first key for students to understand the concepts of Abstract Algebra better than other materials. But in fact, Abstract Algebra is not an easy subject.  ... 
doi:10.24235/eduma.v8i2.4912 fatcat:qtgbw3rnnbbvtp52yi7vg3gr4u

Automated Abstractions for Contract Validation

Guido de Caso, Victor Braberman, Diego Garbervetsky, Sebastian Uchitel
2012 IEEE Transactions on Software Engineering  
The abstraction results in a finite model that is intuitive to validate and which facilitates tracing back to the specification for debugging.  ...  Our aim is abstraction for validation and hence, different and novel tradeoffs between precision and tractability are required.  ...  ACKNOWLEDGEMENTS We thank the anonymous reviewers for their time and insightful comments which have greatly improved this paper.  ... 
doi:10.1109/tse.2010.98 fatcat:rdurygeuvffwdnkt4ery6dweaq

Program abstractions for behaviour validation

Guido de Caso, Víctor Braberman, Diego Garbervetsky, Sebastián Uchitel
2011 Proceeding of the 33rd international conference on Software engineering - ICSE '11  
The level of abstraction at which such models are constructed has shown to be useful for validating code artefacts and identifying findings which led to the discovery of bugs, adjustment of the requirements  ...  Code artefacts that have non-trivial requirements with respect to the ordering in which their methods or procedures ought to be called are common and appear, for instance, in the form of API implementations  ...  RELATED WORK In [5] we studied the enabledness-based abstractions and their potential for contract specifications validation.  ... 
doi:10.1145/1985793.1985846 dblp:conf/icse/CasoBGU11 fatcat:geaddq3vwngixfwhtwa5tcuugi

Modeling Distributed State as an Abstract Object [chapter]

Pertti Kellomäki, Tommi Mikkonen
1999 Distributed and Parallel Embedded Systems  
An action may be executed whenever suitable objects for which the action guard evaluates to true exist.  ...  However, unlike in pattern-oriented development, we have a well-defined state for the abstractions as well, providing enhanced validation and verification facilities.  ... 
doi:10.1007/978-0-387-35570-2_20 fatcat:ykfdumoo2jbjhc7bz37kdnpjvm

Behavioural validation of software engineering artefacts

Guido de Caso
2010 Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - ICSE '10  
I aim to develop abstraction-for-validation techniques that automatically produce finite state abstractions that are sufficiently small to support validating the emergent behaviour of a fragmented description  ...  However, fragmentation makes the validation of global behaviour difficult.  ...  Intuitively the set of actions corresponding to an abstract state are the set of actions that are enabled for all the variable valuations that are grouped in it.  ... 
doi:10.1145/1810295.1810453 dblp:conf/icse/Caso10a fatcat:fe4xbimygvfmjkekenzf4prw6e

Behavioural validation of software engineering artefacts

Guido de Caso
2010 Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - ICSE '10  
I aim to develop abstraction-for-validation techniques that automatically produce finite state abstractions that are sufficiently small to support validating the emergent behaviour of a fragmented description  ...  However, fragmentation makes the validation of global behaviour difficult.  ...  Intuitively the set of actions corresponding to an abstract state are the set of actions that are enabled for all the variable valuations that are grouped in it.  ... 
doi:10.1145/1810295.1810380 dblp:conf/icse/Caso10 fatcat:y34ergfm4fezdb6nldnfzglnm4

Modeling Abstract Behavior: A Dynamic Logic Approach [chapter]

Yi Zhou, Yan Zhang
2009 Lecture Notes in Computer Science  
In this paper, we extend Propositional Dynamic Logic (PDL) to Propositional Abstract Dynamic Logic (PADL) for modeling abstract behavior in two aspects.  ...  On the other hand, we explicitly represent the subsumption relation between two actions as a formula in the language.  ...  The notions of satisfiability, validity and logical consequence in PADL are defined in the same way as those for PDL. We say that φ is valid in F, written F |= φ, if for all u ∈ W , F, u |= φ.  ... 
doi:10.1007/978-3-642-10439-8_54 fatcat:nnvuerus5ncotjuxeq53raolca

Deriving Message Passing Protocols from Collective Behavior [chapter]

Pertti Kellomäki
2001 IFIP Advances in Information and Communication Technology  
The abstraction function is chosen in such a way that verifying a property for the abstract specification implies that it also holds for the more concrete specification.  ...  action where valid is assigned the value false.  ... 
doi:10.1007/978-0-387-35409-5_18 fatcat:lxs5mgaghndkbb6gpw4acno2ra

Enabledness-based program abstractions for behavior validation

Guido De Caso, Victor Braberman, Diego Garbervetsky, Sebastian Uchitel
2013 ACM Transactions on Software Engineering and Methodology  
Enabledness-based program abstractions for behaviour validation. Definition 3.3 (Action System Semantics).  ...  Enabledness Abstractions Now that we have defined the state space defined by an action system by means of its LTS, we need to define a proper level of abstraction in order to obtain a finite representation  ...  Figure 2 depicts an enabledness-preserving abstraction for the action system induced by the program in Figure 1 .  ... 
doi:10.1145/2491509.2491519 fatcat:nah2xfvervb2ppcqnd72yrehau

Visual Analysis of Compliance with Clinical Guidelines

Peter Bodesinsky, Paolo Federico, Silvia Miksch
2013 Proceedings of the 13th International Conference on Knowledge Management and Knowledge Technologies - i-Know '13  
Our solution covers highlighting and abstraction for time-oriented patient parameters, and aggregation of repeatedly missing actions into intervals; in addition valid, invalid, and missing actions are  ...  Clinical guidelines provide recommendations in the form of applicable actions in a specific clinical context.  ...  Daniel Firouzabadi, resident physician in neurosurgery, for his participation in the case study and his suggestions and ideas.  ... 
doi:10.1145/2494188.2494202 dblp:conf/iknow/BodesinskyFM13 fatcat:jbtmggdrqjd27bhrvy222z5cna

Scheduling Open-Nested Transactions in Distributed Transactional Memory [chapter]

Junwhan Kim, Roberto Palmieri, Binoy Ravindran
2013 Lecture Notes in Computer Science  
and abstract locks in the case of outer transaction aborts.  ...  In this paper we present DATS, a dependency-aware transactional scheduler, that is able to boost the throughput of open-nested transactions reducing the overhead of running expensive compensating actions  ...  This work is supported in part by US National Science Foundation under grants CNS 0915895, CNS 1116190, CNS 1130180, and CNS 1217385.  ... 
doi:10.1007/978-3-642-38493-6_8 fatcat:kowcfhyiobglvcpnmxi6gx7eji

Cession Contract - Abstract Action Deal

Vita Nemenova
2014 Mediterranean Journal of Social Sciences  
In the paper, the author considers the issue on cession agreement's nature and turns to two opinions -cession agreement is an abstract or a causal transaction.  ...  In the paper, the views of various law scientists in connection with the concerned issues are considered and analyzed.  ...  The determination of the essence of the cession contract and the division according to the aforementioned criteria (abstract or causal, pledge or action deal) is important because the validity and legal  ... 
doi:10.5901/mjss.2014.v5n23p626 fatcat:bft24glltvdb3a6zg2m5wcnoqu

Anytime Stochastic Task and Motion Policies [article]

Naman Shah, Siddharth Srivastava
2021 arXiv   pre-print
We present a new approach for integrated task and motion planning in stochastic settings.  ...  In order to solve complex, long-horizon tasks, intelligent robots need to carry out high-level, abstract planning and reasoning in conjunction with motion planning.  ...  Acknowledgements This work was supported in parts by the NSF under grants IIS 1844325, IIS 1909370, and OIA 1936997.  ... 
arXiv:2108.12537v1 fatcat:fuioaob5tjfrzmdkl5en2lhely
« Previous Showing results 1 — 15 out of 617,256 results