Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
21 | Vince Molnár, Bence Graics, András Vörös 0001, István Majzik, Dániel Varró |
The Gamma statechart composition framework: : design, verification and code generation for component-based reactive systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (Companion Volume) ![In: Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018, pp. 113-116, 2018, ACM, 978-1-4503-5663-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Amit Kleinmann, Avishai Wool |
Automatic Construction of Statechart-Based Anomaly Detection Models for Multi-Threaded Industrial Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Intell. Syst. Technol. ![In: ACM Trans. Intell. Syst. Technol. 8(4), pp. 55:1-55:21, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Chunhui Guo, Zhicheng Fu, Shangping Ren, Yu Jiang 0001, Maryam Rahmaniheris, Lui Sha |
Pattern-Based Statechart Modeling Approach for Medical Best Practice Guidelines - A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBMS ![In: 30th IEEE International Symposium on Computer-Based Medical Systems, CBMS 2017, Thessaloniki, Greece, June 22-24, 2017, pp. 117-122, 2017, IEEE Computer Society, 978-1-5386-1710-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Mirko Wächter, Simon Ottenhaus, Manfred Kröhnert, Nikolaus Vahrenkamp, Tamim Asfour |
The ArmarX Statechart Concept: Graphical Programing of Robot Behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Robotics AI ![In: Frontiers Robotics AI 3, pp. 33, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Aissam Belghiat, Allaoua Chaoui |
Mapping Mobile Statechart Diagrams to the π-Calculus using Graph Transformation: An Approach for Modeling, Simulation and Verification of Mobile Agent-based Software Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Intell. Inf. Technol. ![In: Int. J. Intell. Inf. Technol. 12(4), pp. 1-20, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Amit Kleinmann, Avishai Wool |
Automatic Construction of Statechart-Based Anomaly Detection Models for Multi-Threaded Industrial Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1607.07489, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
21 | Amit Kleinmann, Avishai Wool |
Automatic Construction of Statechart-Based Anomaly Detection Models for Multi-Threaded SCADA via Spectral Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPS-SPC@CCS ![In: Proceedings of the 2nd ACM Workshop on Cyber-Physical Systems Security and Privacy, CPS-SPC@CCS 2016, Vienna, Austria, October 28, 2016, pp. 1-12, 2016, ACM, 978-1-4503-4568-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Chunhui Guo, Shangping Ren, Yu Jiang 0001, Po-Liang Wu, Lui Sha, Richard B. Berlin Jr. |
Transforming Medical Best Practice Guidelines to Executable and Verifiable Statechart Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCPS ![In: 7th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2016, Vienna, Austria, April 11-14, 2016, pp. 34:1-34:10, 2016, IEEE Computer Society, 978-1-5090-1772-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Ali Hanzala Khan, Ivan Porres |
Consistency of UML class, object and statechart diagrams using ontology reasoners. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Vis. Lang. Comput. ![In: J. Vis. Lang. Comput. 26, pp. 42-65, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Giancarlo Fortino, Francesco Rango, Wilma Russo, Corrado Santoro |
Translation of statechart agents into a BDI framework for MAS engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Appl. Artif. Intell. ![In: Eng. Appl. Artif. Intell. 41, pp. 287-297, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | João Pimentel 0001, Jéssyka Vilela, Jaelson Castro |
Web tool for Goal modelling and statechart derivation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: 23rd IEEE International Requirements Engineering Conference, RE 2015, Ottawa, ON, Canada, August 24-28, 2015, pp. 292-293, 2015, IEEE Computer Society, 978-1-4673-6905-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Amit Kleinmann, Avishai Wool |
A Statechart-Based Anomaly Detection Model for Multi-Threaded SCADA Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRITIS ![In: Critical Information Infrastructures Security - 10th International Conference, CRITIS 2015, Berlin, Germany, October 5-7, 2015, Revised Selected Papers, pp. 132-144, 2015, Springer, 978-3-319-33330-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Ronaldo Rodrigues Ferreira, Thomas Klotz, Thilo Vörtler, Jean da Rolt, Gabriel L. Nazar, Álvaro Freitas Moreira, Luigi Carro, Karsten Einwich |
Reliable execution of statechart-generated correct embedded software under soft errors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DDECS ![In: 17th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, DDECS 2014, Warsaw, Poland, 23-25 April, 2014, pp. 147-152, 2014, IEEE Computer Society, 978-1-4799-4560-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Georgios L. Papadimitriou, Nikolaos I. Spanoudakis, Michail G. Lagoudakis |
Extending the Kouretes Statechart Editor for Generic Agent Behavior Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIAI ![In: Artificial Intelligence Applications and Innovations - 10th IFIP WG 12.5 International Conference, AIAI 2014, Rhodes, Greece, September 19-21, 2014. Proceedings, pp. 182-192, 2014, Springer, 978-3-662-44653-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Aissam Belghiat, Allaoua Chaoui, Mourad Maouche, Mokhtar Beldjehem |
Formalization of Mobile UML Statechart Diagrams Using the π-calculus: An Approach for Modeling and Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIST ![In: Information and Software Technologies - 20th International Conference, ICIST 2014, Druskininkai, Lithuania, October 9-10, 2014. Proceedings, pp. 236-247, 2014, Springer, 978-3-319-11957-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Ali Hanzala Khan, Irum Rauf, Ivan Porres |
Consistency of UML Class and Statechart Diagrams with State Invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MODELSWARD ![In: MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19 - 21 February, 2013, pp. 14-24, 2013, SciTePress, 978-989-8565-42-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Sadaf Mustafiz, Hans Vangheluwe |
Explicit modelling of statechart simulation environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SummerSim ![In: 2013 Summer Simulation Multiconference, SummerSim '13, Toronto, Canada - July 07 - 10, 2013, pp. 21, 2013, Society for Computer Simulation International / ACM DL, 978-1-62748-276-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
21 | Daniel Balasubramanian, Corina S. Pasareanu, Gabor Karsai, Michael R. Lowry |
Polyglot: Systematic Analysis for Multiple Statechart Formalisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings, pp. 523-529, 2013, Springer, 978-3-642-36741-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Christian Prehofer |
Behavioral Refinement and Compatibility of Statechart Extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FESCA ![In: Proceedings the 9th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2012, Tallinn, Estonia, March 31, 2012, pp. 65-78, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Raimundo Santos Moura, Luiz Affonso Guedes |
Using basic Statechart to program industrial controllers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Stand. Interfaces ![In: Comput. Stand. Interfaces 34(1), pp. 60-67, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Vitus S. W. Lam, Julian A. Padget |
Equivalence Checking of Communicating UML Statechart Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Eng. Knowl. Eng. ![In: Int. J. Softw. Eng. Knowl. Eng. 22(2), pp. 265-304, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Saurabh Tiwari 0001, Atul Gupta |
Statechart-based use case requirement validation of event-driven systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the ACM Symposium on Applied Computing, SAC 2012, Riva, Trento, Italy, March 26-30, 2012, pp. 1091-1093, 2012, ACM, 978-1-4503-0857-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Corina S. Pasareanu, Daniel Balasubramanian |
Statechart Analysis with Symbolic PathFinder. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: Fifth IEEE International Conference on Software Testing, Verification and Validation, ICST 2012, Montreal, QC, Canada, April 17-21, 2012, pp. 772, 2012, IEEE Computer Society, 978-1-4577-1906-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Gabriel Skantze, Samer Al Moubayed |
IrisTK: a statechart-based toolkit for multi-party face-to-face interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMI ![In: International Conference on Multimodal Interaction, ICMI '12, Santa Monica, CA, USA, October 22-26, 2012, pp. 69-76, 2012, ACM, 978-1-4503-1467-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Christopher Dragert, Jörg Kienzle, Clark Verbrugge |
Statechart-Based AI in Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIIDE ![In: Proceedings of the Eighth AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, AIIDE-12, Stanford, California, USA, October 8-12, 2012, 2012, The AAAI Press. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
21 | Daniel Balasubramanian, Corina S. Pasareanu, Jason Biatek, Thomas Pressburger, Gabor Karsai, Michael R. Lowry, Michael W. Whalen |
Integrating Statechart Components in Polyglot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods - 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings, pp. 267-272, 2012, Springer, 978-3-642-28890-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Ziwei Liu, Jing Liu 0012, Jifeng He 0001, Zuohua Ding |
Spatio-temporal UML Statechart for Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 17th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2012, Paris, France, July 18-20, 2012, pp. 137-146, 2012, IEEE Computer Society, 978-1-4673-2156-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Xiangxian Chen, Yulin He, Hai Huang |
An approach to automatic development of interlocking logic based on Statechart. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Enterp. Inf. Syst. ![In: Enterp. Inf. Syst. 5(3), pp. 273-286, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Franco Cicirelli, Angelo Furfaro, Libero Nigro |
Modelling and simulation of complex manufacturing systems using statechart-based actors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Simul. Model. Pract. Theory ![In: Simul. Model. Pract. Theory 19(2), pp. 685-703, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Lina Chen |
Automatic Test Cases Generation for Statechart Specifications from Semantics to Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. ![In: J. Comput. 6(4), pp. 769-775, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
21 | ChunYu Miao |
Dynamic Slicing Research of UML Statechart Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. ![In: J. Comput. 6(4), pp. 792-798, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
21 | Daniel Balasubramanian, Corina S. Pasareanu, Michael W. Whalen, Gabor Karsai, Michael R. Lowry |
Polyglot: modeling and analysis for multiple Statechart formalisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 20th International Symposium on Software Testing and Analysis, ISSTA 2011, Toronto, ON, Canada, July 17-21, 2011, pp. 45-55, 2011, ACM, 978-1-4503-0562-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Miriam C. Bergue Alves, Doron Drusinsky, J. Bret Michael, Man-tak Shing |
Formal validation and verification of space flight software using statechart-assertions and runtime execution monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoSE ![In: 6th International Conference on System of Systems Engineering, SoSE 2011, Albuquerque, New Mexico, USA, June 27-30, 2011, pp. 155-160, 2011, IEEE, 978-1-61284-783-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | José A. Cruz-Lemus, Ann Maes, Marcela Genero, Geert Poels, Mario Piattini |
The impact of structural complexity on the understandability of UML statechart diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 180(11), pp. 2209-2220, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Mark B. Trakhtenbrot |
Implementation-Oriented Mutation Testing of Statechart Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST Workshops ![In: Third International Conference on Software Testing, Verification and Validation, ICST 2010, Paris, France, April 7-9, 2010, Workshops Proceedings, pp. 120-125, 2010, IEEE Computer Society, 978-0-7695-4050-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Yi-Sheng Huang, Shuo-Xian Liau, MuDer Jeng |
Modeling and analysis of traffic light controller using Statechart. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Istanbul, Turkey, 10-13 October 2010, pp. 557-562, 2010, IEEE, 978-1-4244-6588-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | José A. Cruz-Lemus, Marcela Genero, M. Esperanza Manso, Sandro Morasca, Mario Piattini |
Assessing the understandability of UML statechart diagrams with composite states - A family of empirical studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JISBD ![In: XV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2010), Valencia, Spain, September 7-10, 2010. Actas, pp. 101-101, 2010, IBERGARCETA Pub. S.L., 978-84-92812-51-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
21 | José A. Cruz-Lemus, Marcela Genero, M. Esperanza Manso, Sandro Morasca, Mario Piattini |
Assessing the understandability of UML statechart diagrams with composite states - A family of empirical studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Empir. Softw. Eng. ![In: Empir. Softw. Eng. 14(6), pp. 685-719, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Chikmagalur Manjappa Prashanth, K. Chandrashekar Shet |
Efficient Algorithms for Verification of UML Statechart Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Softw. ![In: J. Softw. 4(3), pp. 175-182, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Dai Tri Man Le |
Statechart Verification with iState ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0909.1361, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
21 | Rik Eshuis |
Reconciling statechart semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 74(3), pp. 65-99, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Hyunseok Min, Jinyoung Choi |
Automatic Test Generation for System using UML Statechart. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering Research and Practice ![In: Proceedings of the 2009 International Conference on Software Engineering Research & Practice, SERP 2009, July 13-16, 2009, Las Vegas, Nevada, USA, 2 Volumes, pp. 31-37, 2009, CSREA Press, 1-60132-129-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
21 | Jens Krösche, Martin Scheuchenegger, Stephan Drab, Stephan Selinger |
Mobile Statechart-basierte Touristik-Anwendungen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirtschaftsinformatik (2) ![In: Business Services: Konzepte, Technologien, Anwendungen. 9. Internationale Tagung Wirtschaftsinformatik 25.-27. Februar 2009, Wien, pp. 771-780, 2009, Österreichische Computer Gesellschaft, 978-3-85403-247-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
21 | Franco Cicirelli, Angelo Furfaro, Andrea Giordano, Libero Nigro |
Statechart-Based Actors For Modelling And Distributed Simulation Of Complex Multi-Agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMS ![In: European Conference on Modelling and Simulation, ECMS 2009, Madrid, Spain, June 9-12, 2009, pp. 233-239, 2009, European Council for Modeling and Simulation, 978-0-9553018-8-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Michael A. Schumann, James Bret Michael |
Statechart based formal modeling of workflow processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoSE ![In: 4th IEEE International Conference on System of Systems Engineering, SoSE 2009, Albuquerque, NM, USA, 30 May - 03 Jun 2009, pp. 1-5, 2009, IEEE, 978-1-4244-4766-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
21 | Raimundo Santos Moura, Luiz Affonso Guedes |
Basic Statechart: A formalism to model industrial systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INDIN ![In: 7th IEEE International Conference on Industrial Informatics, INDIN 2009, Cardiff, UK, 23-26 June 2009, pp. 161-166, 2009, IEEE, 978-1-4244-3759-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Jeanette Heidenberg, Andreas Nåls, Ivan Porres |
Statechart features and pre-release maintenance defects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Vis. Lang. Comput. ![In: J. Vis. Lang. Comput. 19(4), pp. 456-467, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Yuchang Mo, Xinmin Yang |
A New Approach to Verify Statechart Specifications for Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Eng. Knowl. Eng. ![In: Int. J. Softw. Eng. Knowl. Eng. 18(6), pp. 785-802, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Valdivino Alexandre de Santiago Jr., Nandamudi Lankalapalli Vijaykumar, Danielle Guimarães, Ana Silvia Martins do Amaral, Erica Ferreira 0001 |
An Environment for Automated Test Case Generation from Statechart-based and Finite State Machine-based Behavioral Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST Workshops ![In: First International Conference on Software Testing Verification and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008, Workshops Proceedings, pp. 63-72, 2008, IEEE Computer Society, 978-0-7695-3388-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Doron Drusinsky, James Bret Michael, Thomas W. Otani, Man-tak Shing |
Validating UML Statechart-Based Assertions Libraries for Improved Reliability and Assurance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSIRI ![In: Second International Conference on Secure System Integration and Reliability Improvement, SSIRI 2008, July 14-17, 2008, Yokohama, Japan, pp. 47-51, 2008, IEEE Computer Society, 978-0-7695-3266-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Formal Specifications, Validation, Patterns, Statecharts, Assertions |
21 | Jun Cheng, Qiang Liu |
Using Stakeholder Analysis for Improving Statechart Merging in Software Requirement Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICYCS ![In: Proceedings of the 9th International Conference for Young Computer Scientists, ICYCS 2008, Zhang Jia Jie, Hunan, China, November 18-21, 2008, pp. 1217-1222, 2008, IEEE Computer Society, 978-0-7695-3398-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Doron Drusinsky, James Bret Michael, Thomas W. Otani, Man-tak Shing |
Integrating statechart assertions into Java components using AspectJ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoSE ![In: 3rd IEEE International Conference on System of Systems Engineering, SoSE 2008, Singapore, 2-4 June 2008, pp. 1-7, 2008, IEEE, 978-1-4244-2172-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Bin Wang 0017, Chunhua Zhu, Jinfang Sheng |
A Formal Description Method for Aspect-Oriented Statechart Based on CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCSCT (2) ![In: 2008 International Symposium on Computer Science and Computational Technology, ISCSCT 2008, 20-22 December 2008, Shanghai, China, 2 Volumes, pp. 750-753, 2008, IEEE Computer Society, 978-0-7695-3498-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Alexander Koenen-Dresp |
Applying the engineering statechart formalism to the evaluation of soft real-time in operating systems: a use case tailored modeling and analysis technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2008 |
RDF |
|
21 | Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang 0001, Wei Dong 0006 |
Modelling and model checking suspendible business processes via statechart diagrams and CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 65(1), pp. 14-29, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Toshiaki Aoki, Takuya Katayama |
Statechart-based Verification of Object-Oriented Design Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 5-7 December 2007, Nagoya, Japan, pp. 278-285, 2007, IEEE Computer Society, 0-7695-3057-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Youssef Gamha, Nacéra Bennacer, Lotfi Ben Romdhane, Guy Vidal-Naquet, Béchir el Ayeb |
A Statechart-Based Model for the Semantic Composition of Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE SCW ![In: 2007 IEEE International Conference on Services Computing - Workshops (SCW 2007), 9-13 July 2007, Salt Lake City, Utah, USA, pp. 49-56, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang 0001, Wei Dong 0006 |
Model Checking Suspendible Business Processes via Statechart Diagrams and CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSVVEIS ![In: Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2006, In conjunction with ICEIS 2006, Paphos, Cyprus, May 2006, pp. 97-107, 2006, INSTICC Press, 978-972-8865-49-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
21 | Jiachen Zhang, Tie Feng, Dali Li, Quan Yuan |
A Method for Reverse Extraction of Object Statechart Diagram with Controllable Granularity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IASTED Conf. on Software Engineering ![In: Proceedings of the IASTED International Conference on Software Engineering, February 14-16, 2006, Innsbruck, Austria, pp. 188-193, 2006, IASTED/ACTA Press, 0-88986-574-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
21 | Vitus S. W. Lam |
A formal execution semantics and rigorous analytical approach for communicating UML statechart diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2006 |
RDF |
|
21 | Zsigmond Pap, István Majzik, András Pataricza, András Szegi |
Methods of checking general safety criteria in UML statechart specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 87(1), pp. 89-107, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | José A. Cruz-Lemus, Marcela Genero, M. Esperanza Manso, Mario Piattini |
Do composite states improve the understanding of UML statechart diagrams? ![Search on Bibsonomy](Pics/bibsonomy.png) |
JISBD ![In: Actas de las X Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2005), September 14-16, 2005, Granada, Spain, pp. 107-114, 2005, Thomson, 84-9732-434-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
21 | Paul Ziemann, Karsten Hölscher, Martin Gogolla |
Coherently Explaining UML Statechart and Collaboration Diagrams by Graph Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Proceedings of the Seventh Brazilian Symposium on Formal Methods, SBMF 2004, Recife, Pernambuco, Brazil, November 29 - December 1, 2004, pp. 263-280, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Leif Geiger, Albert Zündorf |
Statechart Modeling with Fujaba. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GraBaTs ![In: Proceedings of the 2nd International Workshop on Graph-Based Tools, GraBaTs 2004, Rome, Italy, October 2, 2004, pp. 37-49, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Doron Drusinsky |
Semantics and Runtime Monitoring of TLCharts: Statechart Automata with Temporal Logic Conditioned Transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@ETAPS ![In: Proceedings of the Fourth Workshop on Runtime Verification, RV@ETAPS 2004, Barcelona, Spain, April 3, 2004, pp. 3-21, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Hans-Georg Fill |
UML Statechart Diagrams on the ADONIS Metamodeling Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GraBaTs ![In: Proceedings of the 2nd International Workshop on Graph-Based Tools, GraBaTs 2004, Rome, Italy, October 2, 2004, pp. 27-36, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Ekaterina A. Gorshkova, Boris Novikov 0001 |
Use of Statechart Diagrams for Modeling of Hypertext. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Program. Comput. Softw. ![In: Program. Comput. Softw. 30(1), pp. 47-51, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Purandar Bhaduri, S. Ramesh |
Model Checking of Statechart Models: Survey and Research Directions ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.SE/0407038, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
21 | Kirill Bogdanov 0002, Mike Holcombe |
Refinement in statechart testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Test. Verification Reliab. ![In: Softw. Test. Verification Reliab. 14(3), pp. 189-211, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Jiao Chen, Yashwant K. Malaiya |
Augmenting Test Case Generation Using Statechart. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering Research and Practice ![In: Proceedings of the International Conference on Software Engineering Research and Practice, SERP '04, June 21-24, 2004, Las Vegas, Nevada, USA, Volume 2, pp. 608-614, 2004, CSREA Press, 1-932415-29-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
21 | José A. Cruz-Lemus, Marcela Genero, José A. Olivas, Francisco P. Romero 0001, Mario Piattini |
Predicting UML Statechart Diagrams Understandability Using Fuzzy Logic-Based Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: Proceedings of the Sixteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2004), Banff, Alberta, Canada, June 20-24, 2004, pp. 238-245, 2004, 1-891706-14-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
21 | S. Jansamak, Athasit Surarerks |
Formalization of UML Statechart Models Using Concurrent Regular Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSC ![In: Computer Science 2004, Twenty-Seveth Australasian Computer Science Conference (ACSC2004), Dunedin, New Zealand, January 2004, pp. 83-88, 2004, Australian Computer Society, 1-920682-05-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
21 | Akihiko Urushihara, Satoshi Kanai, Takeshi Kishinami, Toyoaki Tomura |
Behaviour Modeller: The Systematic Generation of Statechart from Functional Relations and Scenarios for Prototyping User Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADUI ![In: Computer-Aided Design of User Interfaces IV, Proceedings of Fourth International Conference on Computer-Aided Design of User Interfaces, January 14-16, 2004, Funchal, Portugal, pp. 67-80, 2004, Kluwer, 1-4020-3145-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
21 | Vitus S. W. Lam, Julian A. Padget |
On Execution Semantics of UML Statechart Diagrams Using the pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering Research and Practice ![In: Proceedings of the International Conference on Software Engineering Research and Practice, SERP '03, June 23 - 26, 2003, Las Vegas, Nevada, USA, Volume 2, pp. 877-882, 2003, CSREA Press, 1-932415-20-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
21 | Zhijiang Dong, Yujian Fu, Xudong He |
Deriving Hierarchical Predicate/Transition Nets from Statechart Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), Hotel Sofitel, San Francisco Bay, CA, USA, July 1-3, 2003, pp. 150-157, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
21 | Sung-Ho Jang, Ki-Seok Bang, Jin-Young Choi |
SSR : Statechart with shared resources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCC ![In: 2003 IEEE Symposium on Human Centric Computing Languages and Environments (HCC 2003), 28-31 October 2003, Auckland, New Zealand, pp. 198-200, 2003, IEEE Computer Society, 0-7803-8225-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Vitus S. W. Lam, Julian A. Padget |
Analyzing equivalences of UML statechart diagrams by structural congruence and open bisimulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCC ![In: 2003 IEEE Symposium on Human Centric Computing Languages and Environments (HCC 2003), 28-31 October 2003, Auckland, New Zealand, pp. 137-144, 2003, IEEE Computer Society, 0-7803-8225-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Christian Prehofer |
Plug-and-Play Composition of Features and Feature Interactions with Statechart Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FIW ![In: Feature Interactions in Telecommunications and Software Systems VII, June 11-13, 2003, Ottawa, Canada, pp. 43-58, 2003, IOS Press, 1-58603-348-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
21 | David Miranda, Marcela Genero, Mario Piattini |
Empirical Validation of Metrics for UML Statechart Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS (1) ![In: ICEIS 2003, Proceedings of the 5th International Conference on Enterprise Information Systems, Angers, France, April 22-26, 2003, pp. 87-95, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
21 | Robert Büssow |
Model checking combined Z and statechart specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2003 |
RDF |
|
21 | Stefania Gnesi, Diego Latella, Mieke Massink |
Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 51(1), pp. 43-75, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Johannes Koskinen, Erkki Mäkinen, Tarja Systä |
Implementing a Component-Based Tool for Interactive Synthesis of UML Statechart Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Cybern. ![In: Acta Cybern. 15(4), pp. 547-565, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
21 | Erkki Mäkinen, Tarja Systä |
Minimally adequate teacher synthesizes statechart diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 38(4), pp. 235-259, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Tarja Systä, Kai Koskimies, Erkki Mäkinen |
Automated compression of state machines using UML statechart diagram notation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Softw. Technol. ![In: Inf. Softw. Technol. 44(10), pp. 565-578, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Gábor Huszerl, István Majzik, András Pataricza, Konstantinos Kosmidis, Mario Dal Cin |
Quantitative Analysis of UML Statechart Models of Dependable Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 45(3), pp. 260-277, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Jae Ick Lee, Sung Wook Chun, Soon Ju Kang |
Virtual prototyping of PLC-based embedded system using object model of target and behavior model by converting RLL-to-statechart directly. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Archit. ![In: J. Syst. Archit. 48(1-3), pp. 17-35, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Sam-Taek Kim, Young-Chan Kim |
The Implementation of Statechart Tool Based Component for Embedded System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDPTA ![In: Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA '02, June 24 - 27, 2002, Las Vegas, Nevada, USA, Volume 1, pp. 504-509, 2002, CSREA Press, 1-892512-87-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
21 | Peter Scholz |
Incremental design of statechart specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 40(1), pp. 119-145, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Kirill Bogdanov 0002, Mike Holcombe |
Statechart testing method for aircraft control systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Test. Verification Reliab. ![In: Softw. Test. Verification Reliab. 11(1), pp. 39-54, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Diego Latella, Mieke Massink |
A Formal Testing Framework for UML Statechart Diagrams Behaviours: From Theory to Automatic Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), Special Topic: Impact of Networking, 24-26 October 2001, Albuquerque, NM, USA, Proceedings, pp. 11-22, 2001, IEEE Computer Society, 0-7695-1275-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Zhijiang Dong, Xudong He |
Integrating UML Statechart and Collaboration Diagrams Using Hierarchical Predicate Transition Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
pUML ![In: Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Workshop of the pUML-Group held together with the «UML»2001, October 1st, 2001 in Toronto, Canada, pp. 99-112, 2001, GI, 3-88579-335-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
21 | Emil Sekerinski, Rafik Zurob |
iState: A Statechart Translator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML ![In: «UML» 2001 - The Unified Modeling Language, Modeling Languages, Concepts, and Tools, 4th International Conference, Toronto, Canada, October 1-5, 2001, Proceedings, pp. 376-390, 2001, Springer, 3-540-42667-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Marcio S. Dias, Marlon E. R. Vieira, Debra J. Richardson |
Analyzing Software Architecture Based on Statechart Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBES ![In: Proceedings of the 15th Brazilian Symposium on Software Engineering, SBES 2001, Rio de Janeiro, RJ, Brazil, October 3-5, 2001., pp. 116-131, 2001, SBC. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Carlos Renato Lisboa Francês |
Stocastic statecharts and queuing statecharts: new approaches for performance evaluation based on statechart specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2001 |
RDF |
|
21 | Gábor Huszerl, István Majzik |
Quantitative analysis of dependability critical systems based on UML statechart models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 15-17 November 2000, Albuquerque, NM, USA, Proceedings, pp. 83-92, 2000, IEEE Computer Society, 0-7695-0927-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Stefania Gnesi, Diego Latella, Mieke Massink |
A stochastic extension of a behavioural subset of UML statechart diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 15-17 November 2000, Albuquerque, NM, USA, Proceedings, pp. 55-64, 2000, IEEE Computer Society, 0-7695-0927-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Anthony J. H. Simons |
On the Compositional Properties of UML Statechart Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rigorous Object-Oriented Methods ![In: Rigorous Object-Oriented Methods, ROOM 2000, York, UK, 17 January 2000, 2000, BCS. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
21 | Jon Whittle 0001, Johann Schumann |
Generating statechart designs from scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 22nd International Conference on on Software Engineering, ICSE 2000, Limerick Ireland, June 4-11, 2000., pp. 314-323, 2000, ACM, 1-58113-206-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
UML, UML, scenarios, automated software engineering |
21 | Marcio S. Dias, Marlon E. R. Vieira |
Software Architecture Analysis Based on Statechart Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 10th International Workshop on Software Specification and Design, Shelter Island, San Diego, California, USA, November 5-7, 2000, pp. 133-140, 2000, IEEE Computer Society, 0-7695-0884-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
architecture-based analysis, architecture-based testing, Software architecture, software component, statecharts |
21 | Jean-Claude Ackad |
Optimierte automatische Statechart-Implementierungen im Software- und Hardware-Entwurf eingebetteter Systeme. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2000 |
RDF |
|