Search results for "state-chart"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
57	Jin Hyuk Yang, In-Jeong Chung	Automatic Generation of Service Ontology from UML Diagrams for Semantic Web Services.	ASWC	2006	DBLP DOI BibTeX RDF	state-chart and UML, Ontology, Semantic Web, OWL-S
54	Leon Urbas, Ljudmilla Nekrasova, Sandro Leuchter	State chart visualization of the control flow within an ACT-R/PM user model.	TAMODIA	2005	DBLP DOI BibTeX RDF	cognitive user modeling, visualization of flow control, state chart
40	Hung Ledang, Jeanine Souquières	Contributions for Modelling UML State-Charts in B.	IFM	2002	DBLP DOI BibTeX RDF	class operation, B abstract machine, B operation, UML, event, activity, B method, state-chart
28	Christian Kop, Heinrich C. Mayr	Conceptual Predesign as a Stopover for Mapping Natural Language Requirements Sentences to State Chart Patterns.	ECOOP Workshops	1998	DBLP DOI BibTeX RDF
17	Maria Virvou, George A. Tsihrintzis	A Novel Trust State-Chart Model for Requirements Engineering of Trustful AI - Empowered Software.	IISA	2023	DBLP DOI BibTeX RDF
17	Sonali Pradhan, Mitrabinda Ray, Santosh Kumar Swain	Transition coverage based test case generation from state chart diagram.	J. King Saud Univ. Comput. Inf. Sci.	2022	DBLP DOI BibTeX RDF
17	Xingchan Li, Xinquan Wu	Code Generation from UML State Chart Diagrams.	ICMSS	2022	DBLP DOI BibTeX RDF
17	Nikolay Voit, Semen Bochkov	Method to Convert UML State Chart Diagram to the Virtual Object Mock-Up.	ICCSA (9)	2021	DBLP DOI BibTeX RDF
17	Sunitha Edacheril Viswanathan, Philip Samuel	Automatic Code Generation From UML State Chart Diagrams.	IEEE Access	2019	DBLP DOI BibTeX RDF
17	Kishore Debnath, Christina L. Peterson, Damian Dechev	Analysis of Commutativity with State-Chart Graph Representation of Concurrent Programs.	CoRR	2019	DBLP BibTeX RDF
17	Yoo-Min Choi, Dong-Jin Lim	Automatic feasible transition path generation from UML state chart diagrams using grouping genetic algorithms.	Inf. Softw. Technol.	2018	DBLP DOI BibTeX RDF
17	Franck Barbier, Eric Cariou, Olivier Le Goaër, Samson Pierre	Software Adaptation: Classification and a Case Study with State Chart XML.	IEEE Softw.	2015	DBLP DOI BibTeX RDF
17	Lorenzo Racchetti, Cesare Fantuzzi, Lorenzo Tacconi, Marcello Bonfè	The PLC UML State-chart design pattern.	ETFA	2014	DBLP DOI BibTeX RDF
17	Stefan Radomski, Dirk Schnelle-Walka, Stephan Radeck-Arneth	A Prolog Datamodel for State Chart XML.	SIGDIAL Conference	2013	DBLP BibTeX RDF
17	Ranjita Kumari Swain, Prafulla Kumar Behera, Durga Prasad Mohapatra	Generation and Optimization of Test cases for Object-Oriented Software Using State Chart Diagram	CoRR	2012	DBLP BibTeX RDF
17	Brian Roark, Kristy Hollingshead, Nathan Bodenstab	Finite-State Chart Constraints for Reduced Complexity Context-Free Parsing Pipelines.	Comput. Linguistics	2012	DBLP DOI BibTeX RDF
17	Jörg Bremer, Tariq Mahmoud, Barbara Rapp	Implementing CEMIS Workflows with State Chart XML.	EnviroInfo	2012	DBLP BibTeX RDF
17	Martin Naumann, Alexander Verl	High-level integration of components into a robot cell using semantically annotated state chart descriptions.	ROBOTIK	2012	DBLP BibTeX RDF
17	Fulvio Corno, Muhammad Sanaullah	Formal Verification of Device State Chart Models.	Intelligent Environments	2011	DBLP DOI BibTeX RDF	Model Checking, Formal Verification, Smart Home, Intelligent Environment, State Charts
17	Rainer Findenig, Thomas Leitner, Michael Velten, Wolfgang Ecker	Fast and accurate UML State Chart modeling using TLM+ control flow abstraction.	HLDVT	2010	DBLP DOI BibTeX RDF
17	Dario Bonino, Fulvio Corno	DogSim: A state chart simulator for Domotic Environments.	PerCom Workshops	2010	DBLP DOI BibTeX RDF
17	Christian Schwarzl, Bernhard Peischl	Static- and Dynamic Consistency Analysis of UML State Chart Models.	MoDELS (1)	2010	DBLP DOI BibTeX RDF
17	Rainer Findenig, Wolfgang Ecker	State chart refinement validation from approximately timed to cycle callable models.	SoC	2010	DBLP DOI BibTeX RDF
17	Birger Møller-Pedersen, Dagbjørn Nogva	Scalable and Object Oriented SDL State(chart)s.	FORTE	1999	DBLP BibTeX RDF
16	Peter Fröhlich 0001, Johannes Link	Automated Test Case Generation from Dynamic Models.	ECOOP	2000	DBLP DOI BibTeX RDF
15	Jan Magott, Pawel Skrobanek	Partially automatic generation of fault-trees with time dependencies.	DepCoS-RELCOMEX	2006	DBLP DOI BibTeX RDF
13	Roman Gumzej, Shourong Lu	Modeling distributed real-time applications with specification PEARL.	Real Time Syst.	2007	DBLP DOI BibTeX RDF	UML, Specification languages, Configuration management, Co-design, Co-simulation, Application modeling, PEARL
12	Fevzi Belli, Axel Hollmann	Test generation and minimization with "basic" statecharts.	SAC	2008	DBLP DOI BibTeX RDF	fault modeling, statecharts, test case generation, test coverage, test optimization
12	Ninh-Thuan Truong, Jeanine Souquières	Verification of behavioural elements of UML models using B.	SAC	2005	DBLP DOI BibTeX RDF	UML, verification, metamodel, B, proof obligation
12	Philip Samuel, Rajib Mall	Boundary Value Testing based on UML Models.	Asian Test Symposium	2005	DBLP DOI BibTeX RDF
12	H.-M. Järvinen, Reino Kurki-Suonio	DisCo specification language: marriage of actions and objects.	ICDCS	1991	DBLP DOI BibTeX RDF
10	Yue Xie, Dehui Du, Jing Liu 0012, Zuohua Ding	Towards the Verification of Services Collaboration.	COMPSAC (2)	2009	DBLP DOI BibTeX RDF
10	Andrew Butterfield, Art Ó Catháin	Concurrent Models of Flash Memory Device Behaviour.	SBMF	2009	DBLP DOI BibTeX RDF
10	Ivan Porres, Eladio Domínguez, Beatriz Pérez 0001, Áurea Rodríguez, María Antonia Zapata	A Model Driven Approach to Automate the Implementation of Clinical Guidelines in Decision Support Systems.	ECBS	2008	DBLP DOI BibTeX RDF	Model Transformation, Model Driven Development, Clinical Guidelines
10	Christopher T. Johnston, Paul J. Lyons, Donald G. Bailey	A Visual Notation for Processor and Resource Scheduling.	DELTA	2008	DBLP DOI BibTeX RDF	Hardware design Languages, FPGA, Image Processing, Finite state machines, Visual Languages
10	Vincent Pretre, Fabrice Bouquet, Christophe Lang	Automating UML models merge for web services testing.	iiWAS	2008	DBLP DOI BibTeX RDF	web services, UML, model based testing
10	Jingjun Zhang, Furong Li, Yang Zhang	Aspect-Oriented Requirements Modeling.	SEW	2007	DBLP DOI BibTeX RDF	UML, AOP, Requirements Engineering, Mismatch
10	Helayne T. Ray, Raghunath Vemuri, Hariprasad R. Kantubhukta	Toward an Automated Attack Model for Red Teams.	IEEE Secur. Priv.	2005	DBLP DOI BibTeX RDF	Red Teams, XML, vulnerabilities
10	Zakaria Maamar, Soraya Kouadri Mostéfaoui, Djamal Benslimane	Conversations for Web Services Composition.	APWeb	2005	DBLP DOI BibTeX RDF	Web service, context, composition, conversation
10	Tae-Dong Lee, Seung-Hun Yoo, Chang-Sung Jeong	HLA-Based Object-Oriented Modeling/Simulation for Military System.	AsiaSim	2004	DBLP DOI BibTeX RDF
10	Diego Bovenzi, Gerardo Canfora, Anna Rita Fasolino	Enabling Legacy System Accessibility by Web Heterogeneous Clients.	CSMR	2003	DBLP DOI BibTeX RDF	Heterogeneous Clients, Accessibility, Legacy Systems, Wrapping, Web Integration
10	Hung Ledang, Jeanine Souquières	Integration of UML and B Specification Techniques: Systematic Transformation from OCL Expressions into B.	APSEC	2002	DBLP DOI BibTeX RDF	OCL operation, B expression, B generalised substitution, UML, OCL
10	Vitus S. W. Lam, Julian A. Padget	Formalization of UML Statechart Diagrams in the p-Calculus.	Australian Software Engineering Conference	2001	DBLP DOI BibTeX RDF
10	Jochen Malte Küster, Joachim Stroop	Consistent Design of Embedded Real-Time Systems with UML-RT.	ISORC	2001	DBLP DOI BibTeX RDF
10	Martin Gaedke, Daniel Schwabe, Gustavo Rossi	Web Engineering - Minitrack Introduction.	HICSS	2001	DBLP DOI BibTeX RDF