Search results for "executability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
42	Franck Barbier	Supporting the UML State Machine Diagramsat Runtime.	ECMDA-FA	2008	DBLP DOI BibTeX RDF	UML, Statecharts, model executability
42	Ahmed Khoumsi	A new method for testing real time systems.	RTCSA	2000	DBLP DOI BibTeX RDF	real-time systems testing, test sequence executability, test sequence execution, real-time systems, constraints, automatic test pattern generation, program testing, timed automata, conformance testing, conformance testing, sequences, test case generation, automata theory, state explosion, test architecture, test sequence generation, continuous-time systems
42	Jan van Katwijk, W. J. Toetenel	Comparing formal specifications by measuring.	RTCSA	1995	DBLP DOI BibTeX RDF	formal specification notations, software engineering, software engineering, formal specification, software development, computer science education, tool support, software development management, notation, executability, maturity, analyzability, software engineering courses
42	Jeffrey J. P. Tsai, Thomas J. Weigert, Hung-Chin Jang	A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	nonmonotonic Horn clause logic, formal requirement specification language, frame-and-rule oriented requirement specification language, FRORL, surface syntax, hierarchical relationships, formal specification, object oriented, knowledge representation, prototyping, specification languages, inheritance, reusability, frames, software development environment, C language, production rules, multiple inheritance, Horn clauses, logic programming languages, executability, hybrid knowledge representation
42	Masahiro Tanaka, Toru Ishida 0001	Predicting and Learning Executability of Composite Web Services.	ICSOC	2008	DBLP DOI BibTeX RDF
42	Mahadevan Subramaniam, Parvathi Chundi	An Approach to Preserve Protocol Consistency and Executability Across Updates.	ICFEM	2004	DBLP DOI BibTeX RDF
30	Néstor Cataño, Tim Wahls	Executing JML specifications of Java card applications: a case study.	SAC	2009	DBLP DOI BibTeX RDF	executable specifications, Java card, JML
30	Reda Bendraou, Benoît Combemale, Xavier Crégut, Marie-Pierre Gervais	Definition of an Executable SPEM 2.0.	APSEC	2007	DBLP DOI BibTeX RDF
30	Rachid Bouaziz, Ousmane Koné	Symbolic and on the Fly Testing with Real-Time Observers.	TestCom	2006	DBLP DOI BibTeX RDF
30	Ranga Raju Vatsavai, Sharma Chakravarthy, Mukesh K. Mohania	Access Control Inference And Feedback For Policy Managers: A Fine-Grained Analysis.	POLICY	2006	DBLP DOI BibTeX RDF
30	Risto Pitkänen, Petri Selonen	A UML Profile for Executable and Incremental Specification-Level Modeling.	UML	2004	DBLP DOI BibTeX RDF
30	Marta Cialdea Mayer, Carla Limongelli	Linear Time Logic, Conditioned Models, and Planning with Incomplete Knowledge.	TABLEAUX	2002	DBLP DOI BibTeX RDF
27	Dave Arnold, Jean-Pierre Corriveau, Wei Shi 0001	Modeling and Validating Requirements Using Executable Cotnracts and Scenarios.	SERA	2010	DBLP DOI BibTeX RDF	validation, model-based testing, executability
27	Gustavo Santos-García, Miguel Palomino, Alberto Verdejo	Rewriting Logic Using Strategies for Neural Networks: An Implementation in Maude.	DCAI	2008	DBLP DOI BibTeX RDF	Neural networks, strategies, rewriting logic, Maude, executability
27	Guizhen Yang, Michael Kifer, Vinay K. Chaudhri	Efficiently ordering subgoals with access constraints.	PODS	2006	DBLP DOI BibTeX RDF	binding pattern, nonrecursive datalog, query, executability
27	Thomas Macaulay Ferguson	Executability and Connexivity in an Interpretation of Griss.	Stud Logica	2024	DBLP DOI BibTeX RDF
27	Aisling Third, John Domingue	Ethics and Executability: Tracing Decency in Decentralised Knowledge Graph Applications.	ESWC Workshops	2023	DBLP BibTeX RDF
27	Hadjer Benkraouda, Jingyu Qian, Hung Quoc Tran, Berkay Kaplan	Attacks on Visualization-Based Malware Detection: Balancing Effectiveness and Executability.	CoRR	2021	DBLP BibTeX RDF
27	Chenguang Zhu 0002, Ripon K. Saha, Mukul R. Prasad, Sarfraz Khurshid	Restoring the Executability of Jupyter Notebooks by Automatic Upgrade of Deprecated APIs.	ASE	2021	DBLP DOI BibTeX RDF
27	Samim Mirhosseini, Chris Parnin	Docable: evaluating the executability of software tutorials.	ESEC/SIGSOFT FSE	2020	DBLP DOI BibTeX RDF
27	Md. Monir Hossain, Nima Mahmoudi, Changyuan Lin, Hamzeh Khazaei, Abram Hindle	Executability of Python Snippets in Stack Overflow.	CoRR	2019	DBLP BibTeX RDF
27	Eleonora Giunchiglia, Michele Colledanchise, Lorenzo Natale, Armando Tacchella	Conditional Behavior Trees: Definition, Executability, and Applications.	SMC	2019	DBLP DOI BibTeX RDF
27	Eric Horton, Chris Parnin	Gistable: Evaluating the Executability of Python Code Snippets on GitHub.	CoRR	2018	DBLP BibTeX RDF
27	Eric Horton, Chris Parnin	Gistable: Evaluating the Executability of Python Code Snippets on GitHub.	ICSME	2018	DBLP DOI BibTeX RDF
27	Vincenzo Arceri, Mila Dalla Preda, Roberto Giacobazzi, Isabella Mastroeni	SEA: String Executability Analysis by Abstract Interpretation.	CoRR	2017	DBLP BibTeX RDF
27	Ting Shu, Zuohua Ding, Mei-Hwa Chen, Jinsong Xia	A heuristic transition executability analysis method for generating EFSM-specified protocol test sequences.	Inf. Sci.	2016	DBLP DOI BibTeX RDF
27	Bas Luttik, Fei Yang	On the Executability of Interactive Computation.	CoRR	2016	DBLP BibTeX RDF
27	Bas Luttik, Fei Yang	On the Executability of Interactive Computation.	CiE	2016	DBLP DOI BibTeX RDF
27	Sardar Hussain, Richard O. Sinnott, Ron Poet	Service-Oriented Workflow Executability from a Security Perspective.	SpaCCS	2016	DBLP DOI BibTeX RDF
27	Yuan Yao 0007, Lavindra de Silva, Brian Logan 0001	Reasoning About the Executability of Goal-Plan Trees.	EMAS@AAMAS	2016	DBLP DOI BibTeX RDF
27	Rudolf Mayer, Andreas Rauber	A Quantitative Study on the Re-executability of Publicly Shared Scientific Workflows.	e-Science	2015	DBLP DOI BibTeX RDF
27	Ping Gong 0004, Jianmin Jiang, Shi Zhang, Zhi Qin Chen	Executability Analysis for Semantically Annotated Process Model.	APSCC	2012	DBLP DOI BibTeX RDF
27	Mauro Baluda, Pietro Braione, Giovanni Denaro, Mauro Pezzè	Enhancing structural software coverage by incrementally computing branch executability.	Softw. Qual. J.	2011	DBLP DOI BibTeX RDF
27	Julien Bourgeois, Vaidy S. Sunderam, Jaroslaw Slawinski, Bogdan Florin Cornea	Extending Executability of Applications on Varied Target Platforms.	HPCC	2011	DBLP DOI BibTeX RDF
27	Elena Planas, Jordi Cabot, Cristina Gómez 0001	Two Basic Correctness Properties for ATL Transformations: Executability and Coverage.	MtATL@TOOLS	2011	DBLP BibTeX RDF
27	Timothy Joseph Cerexhe, Maurice Pagnucco	Executability in the Situation Calculus.	Australasian Conference on Artificial Intelligence	2011	DBLP DOI BibTeX RDF
27	Elena Planas, Jordi Cabot, Cristina Gómez 0001, Esther Guerra, Juan de Lara	Lightweight Executability Analysis of Graph Transformation Rules.	VL/HCC	2010	DBLP DOI BibTeX RDF
27	Robert Lorenz 0001, Gabriel Juhás, Robin Bergenthum, Jörg Desel, Sebastian Mauser	Executability of scenarios in Petri nets.	Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
27	Lihua Duan	Testing in context: Efficiency and executability.		2009	RDF
27	Ileana Ober, Ali Abou Dib	Using ASM to Achieve Executability within a Family of DSL.	ABZ	2008	DBLP DOI BibTeX RDF
27	Franck Barbier, Eric Cariou	Component Design based on Model Executability.	EUROMICRO-SEAA	2008	DBLP DOI BibTeX RDF
27	Servet Hasgül, Zuhal Kartal	Analyzing a drum-buffer-rope scheduling system executability through simulation.	SCSC	2007	DBLP BibTeX RDF	drum-buffer-rope, theory of constraints, scheduling
27	Robert Lorenz 0001, Sebastian Mauser, Robin Bergenthum	Testing the executability of scenarios in general inhibitor nets.	ACSD	2007	DBLP DOI BibTeX RDF
27	Michael Keating	Simplicity and Executability: Cornerstones of Quality.	ISQED	2006	DBLP DOI BibTeX RDF
27	Riccardo Rasconi, Nicola Policella, Amedeo Cesta	SEaM: Analyzing Schedule Executability Through Simulation.	IEA/AIE	2006	DBLP DOI BibTeX RDF
27	Luca Benini, Davide Bertozzi, Alessio Guerri, Michela Milano, Francesco Poletti	Measuring Efficiency and Executability of Allocation and Scheduling in Multi-Processor Systems-on-Chip.	Intelligenza Artificiale	2005	DBLP BibTeX RDF
27	Pierre-Alain Muller, Franck Fleurey, Jean-Marc Jézéquel	Weaving Executability into Object-Oriented Meta-languages.	MoDELS	2005	DBLP DOI BibTeX RDF
27	Margaret Mary West	Issues in validation and executability of formal specifications in the Z notation.		2002	RDF
27	Erwan Breton, Jean Bézivin	Towards an understanding of model executability.	FOIS	2001	DBLP DOI BibTeX RDF	process meta-models, models, meta-models, MOF, model execution, action semantics
27	David Navarre, Philippe A. Palanque, Rémi Bastide, Ousmane Sy	Structuring Interactive Systems Specifications for Executability and Prototypability.	DSV-IS	2000	DBLP DOI BibTeX RDF
27	Chung-Ming Huang, Meng-Shu Chiang, Ming-Yuhe Jang	UIOE: protocol test sequence generation method using the transition executability analysis (TEA).	Comput. Commun.	1998	DBLP DOI BibTeX RDF
27	Franck Barbier, Henri Briand, Bénédicte Dano, Stéphane Rideau	The Executability of Object-Oriented Finite State Machines.	J. Object Oriented Program.	1998	DBLP BibTeX RDF
27	Michael von der Beeck	Improving Structured Analysis - Achieving Preciseness, Executability, and Real-Time Specification.	Requirements Engineering	1993	DBLP BibTeX RDF
27	Alexander D. Stoyenko, Wolfgang A. Halang	Analysing PEARL Programs for Timely Schedulability and Executability.	Prozeßrechnersysteme	1991	DBLP DOI BibTeX RDF
27	Toru Ishida 0001	Analyzing Parallel Executability of Production Systems.	Syst. Comput. Jpn.	1989	DBLP DOI BibTeX RDF
27	Wladyslaw M. Turski	Completeness and executability of specifications: Two confusing notions.	ISPW	1984	DBLP BibTeX RDF
27	Harry B. Hunt III, Daniel J. Rosenkrantz	The Complexity of Monadic Recursion Schemes: Executability Problems, Nesting Depth, and Applications.	Theor. Comput. Sci.	1983	DBLP DOI BibTeX RDF
15	Manoli Albert, Jordi Cabot, Cristina Gómez 0001, Vicente Pelechano	Automatic generation of basic behavior schemas from UML class diagrams.	Softw. Syst. Model.	2010	DBLP DOI BibTeX RDF	Behavior schema, Structural event, UML, OCL, Operation, Class diagram
15	Daniela Inclezan	Modular Action Language ALM{\cal ALM}.	ICLP	2009	DBLP DOI BibTeX RDF
15	Jordi Cabot, Robert Clarisó, Daniel Riera	Verifying UML/OCL Operation Contracts.	IFM	2009	DBLP DOI BibTeX RDF
15	Thomas A. Henzinger, Barbara Jobstmann, Verena Wolf	Formalisms for Specifying Markovian Population Models.	RP	2009	DBLP DOI BibTeX RDF
15	Zhiliang Wang, Xia Yin, Chuanming Jing	A formal method to real-time protocol interoperability testing.	Sci. China Ser. F Inf. Sci.	2008	DBLP DOI BibTeX RDF	real-time testing, timed input output automata (TIOA), test generation, interoperability testing, protocol testing
15	Marco Baioletti, Alfredo Milani, Valentina Poggioni, Silvia Suriani	Parallel Actions and Generalized Multivalued Constraints in Multivalued Planning.	ICCSA (2)	2008	DBLP DOI BibTeX RDF
15	Hallvard Trætteberg, John Krogstie	Enhancing the Usability of BPM-Solutions by Combining Process and User-Interface Modelling.	PoEM	2008	DBLP DOI BibTeX RDF	Process modelling, user interface modelling
15	Cyril Ballagny, Nabil Hameurlain, Franck Barbier	Dynamic adaptive software components: the MOCAS approach.	CSTST	2008	DBLP DOI BibTeX RDF	UML2 state machine, dynamic adaptation, component model
15	Jianwen Xiang, Dines Bjørner, Kokichi Futatsugi	Formal digital license language with OTS/CafeOBJ method.	AICCSA	2008	DBLP DOI BibTeX RDF
15	José Meseguer 0001, Prasanna Thati	Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols.	High. Order Symb. Comput.	2007	DBLP DOI BibTeX RDF	Rewrite theories, Security protocols, Reachability, Narrowing
15	Matthias Kuntz, Boudewijn R. Haverkort	Faster SPDL Model Checking Through Property-Driven State Space Generation.	EPEW	2007	DBLP DOI BibTeX RDF
15	Liang Chang 0003, Fen Lin, Zhongzhi Shi	A Dynamic Description Logic for Representation and Reasoning About Actions.	KSEM	2007	DBLP DOI BibTeX RDF
15	Suman Ranjan Sensarma, Norio Okada	Game theoretic analysis of the process of player empowerment in resolving social conflict.	SMC	2007	DBLP DOI BibTeX RDF
15	David H. Akehurst, Martin Gogolla, Steffen Zschaler	7th International Workshop on Ocl4All: Modelling Systems with OCL.	MoDELS (Workshops)	2007	DBLP DOI BibTeX RDF
15	Jean-Pierre Corriveau	Testable Requirements for Offshore Outsourcing.	SEAFOOD	2007	DBLP DOI BibTeX RDF
15	David Harel	Statecharts in the making: a personal account.	HOPL	2007	DBLP DOI BibTeX RDF
15	Franck Barbier	MDE-based Design and Implementation of Autonomic Software Components.	IEEE ICCI	2006	DBLP DOI BibTeX RDF
15	Christian Glodt, Pierre Kelsen	DEMOS: a tool for declarative executable modeling of object-based systems.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	Java, object-oriented programming, code generation, functional programming, visual programming, eclipse, coupling, executable models, declarative
15	Robin Bergenthum, Jörg Desel, Gabriel Juhás, Robert Lorenz 0001	Can I Execute My Scenario in Your Net? VipTool Tells You!	ICATPN	2006	DBLP DOI BibTeX RDF
15	Abdelaziz Guerrouat, Harald Richter 0001	A Combined Approach for Reachability Analysis.	ICSEA	2006	DBLP DOI BibTeX RDF	testing and validation, formal specifications, Formal methods, reachability analysis
15	Chitta Baral, Luis Tari	Using AnsProlog with Link Grammar and WordNet for QA with deep reasoning.	ICIT	2006	DBLP DOI BibTeX RDF
15	Azadeh Farzan, José Meseguer 0001	State Space Reduction of Rewrite Theories Using Invisible Transitions.	AMAST	2006	DBLP DOI BibTeX RDF
15	Matthias Kuntz, Markus Siegle	Symbolic Model Checking of Stochastic Systems: Theory and Implementation.	SPIN	2006	DBLP DOI BibTeX RDF	performance and dependability analysis, model checking software, symbolic model checking, Stochastic systems
15	David W. Binkley, Nicolas Gold, Mark Harman, Zheng Li 0002, Kiarash Mahdavi	An Empirical Study of Executable Concept Slice Size.	WCRE	2006	DBLP DOI BibTeX RDF	Concept Assignment, Program Slicing
15	Germán Puebla, Elvira Albert, Manuel V. Hermenegildo	Abstract Interpretation with Specialized Definitions.	SAS	2006	DBLP DOI BibTeX RDF
15	Eun-Ha Song, Sung-Kook Han, Laurence Tianruo Yang, Young-Sik Jeong	Reconfiguration of Information Management Framework Based on Adaptive Grid Computing.	ISPA	2006	DBLP DOI BibTeX RDF
15	Reda Bendraou, Marie-Pierre Gervais, Xavier Blanc 0001	UML4SPM: An Executable Software Process Modeling Language Providing High-Level Abstractions.	EDOC	2006	DBLP DOI BibTeX RDF
15	José Meseguer 0001, Grigore Rosu	Computational Logical Frameworks and Generic Program Analysis Technologies.	VSTTE	2005	DBLP DOI BibTeX RDF
15	Reda Bendraou, Marie-Pierre Gervais, Xavier Blanc 0001	UML4SPM: A UML2.0-Based Metamodel for Software Process Modelling.	MoDELS	2005	DBLP DOI BibTeX RDF	SP Metamodel, MDD, Software Process Modelling, Process Modelling Languages
15	Sang-Kyun Kim, Taekyung Lee, Kyu-Chul Lee	Toward Knowledge Preconditions for Composition of SemanticWeb Services.	DEEC	2005	DBLP DOI BibTeX RDF
15	Chia-Chu Chiang	An Introduction to TUG: A Language for Writing Reusable Formal Program Specifications.	ITCC (2)	2005	DBLP DOI BibTeX RDF	Generic Specifications, Reusable Specifications, Software Reuse and TUG, Formality
15	Hendry, Munchurl Kim	A Dynamically Configurable Multimedia Middleware.	PCM (2)	2005	DBLP DOI BibTeX RDF
15	Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle	Model Checking Action- and State-Labelled Markov Chains.	DSN	2004	DBLP DOI BibTeX RDF
15	Amit M. Paradkar, Tim Klinger	Automated Consistency and Completeness Checking of Testing Models for Interactive Systems.	COMPSAC	2004	DBLP DOI BibTeX RDF	Completeness Checking, Reachability, Consistency Checking
15	Tim Wahls	Compiling Formal Specifications to Oz Programs.	MOZ	2004	DBLP DOI BibTeX RDF
15	José Meseguer 0001, Miguel Palomino, Narciso Martí-Oliet	Equational Abstractions.	CADE	2003	DBLP DOI BibTeX RDF
15	Marta Cialdea Mayer, Carla Limongelli, Andrea Orlandini, Valentina Poggioni	Planning under Uncertainty in Linear Time Logic.	AI*IA	2003	DBLP DOI BibTeX RDF
15	Robert S. Boyer, J Strother Moore	Single-Threaded Objects in ACL2.	PADL	2002	DBLP DOI BibTeX RDF
15	Hudson Turner	Polynomial-Length Planning Spans the Polynomial Hierarchy.	JELIA	2002	DBLP DOI BibTeX RDF
15	Christoph Maier, Daniel Moldt	Object Coloured Petri Nets - A Formal Technique for Object Oriented Modeling.	Concurrent Object-Oriented Programming and Petri Nets	2001	DBLP DOI BibTeX RDF
15	J Strother Moore	Finite Set Theory in ACL2.	TPHOLs	2001	DBLP DOI BibTeX RDF
15	Daniel Jackson 0001	Lightweight Formal Methods.	FME	2001	DBLP DOI BibTeX RDF
15	Jin-Cherng Lin, Ian Ho	A New Framework for Testing Real-Time Software.	COMPSAC	2000	DBLP DOI BibTeX RDF