Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
110 | Ingolf H. Krüger, Massimiliano Menarini |
Queries and Constraints: A Comprehensive Semantic Model for UML2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS (Workshops) ![In: Models in Software Engineering, Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers, pp. 327-328, 2006, Springer, 978-3-540-69488-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
UML, Software Architecture, Semantics, Programming Languages, Model-based Development, UML2 |
108 | Paul Baker, Clive Jervis |
Testing UML2.0 Models Using TTCN-3 and the UML2.0 Testing Profile. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL 2007: Design for Dependable Systems, 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings, pp. 86-100, 2007, Springer, 978-3-540-74983-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
69 | Vina Ermagan, Ingolf H. Krüger |
A UML2 Profile for Service Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings, pp. 360-374, 2007, Springer, 978-3-540-75208-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Rich Services, Web Services, Service-oriented Architectures, Model Driven Architectures |
69 | Guangquan Zhang 0002, Rong Mei, Jun Zhang |
A Business Process of Web Services Testing Method Based on UML2.0 Activity Diagram. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IITA ![In: Proceedings of the Workshop on Intelligent Information Technology Application, IITA 2007, Zhang Jiajie, China, December 2-3, 2007, pp. 59-65, 2007, IEEE Computer Society, 0-7695-3063-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
69 | Sunghwan Roh, Kyungrae Kim, Taewoong Jeon |
Architecture Modeling Language based on UML2.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November - 3 December 2004, Busan, Korea, pp. 663-669, 2004, IEEE Computer Society, 0-7695-2245-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
54 | Leïla Kloul, Juliana Küster Filipe |
Modelling Mobility with UML2.0 and PEPA Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 28-30 June 2006, Turku, Finland, pp. 153-164, 2006, IEEE Computer Society, 0-7695-2556-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
54 | Zinovy Diskin, Jürgen Dingel |
Mappings, Maps and Tables: Towards Formal Semantics for Associations in UML2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings, pp. 230-244, 2006, Springer, 3-540-45772-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
54 | Reda Bendraou, Marie-Pierre Gervais, Xavier Blanc 0001 |
UML4SPM: A UML2.0-Based Metamodel for Software Process Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings, pp. 17-38, 2005, Springer, 3-540-29010-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
SP Metamodel, MDD, Software Process Modelling, Process Modelling Languages |
54 | Mohamed Hadj Kacem, Mohamed Jmaiel, Ahmed Hadj Kacem, Khalil Drira |
Using UML2.0 and GG for Describing the Dynamic of Software Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICITA (1) ![In: Third International Conference on Information Technology and Applications (ICITA 2005), 4-7 July 2005, Sydney, Australia, pp. 46-51, 2005, IEEE Computer Society, 0-7695-2316-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
54 | Olivier Caron, Bernard Carré, Alexis Muller, Gilles Vanwormhoudt |
An OCL Formulation of UML2 Template Binding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML ![In: «UML» 2004 - The Unified Modelling Language: Modelling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings, pp. 27-40, 2004, Springer, 3-540-23307-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
51 | Giovanni Giachetti, Francisco Valverde, Oscar Pastor 0001 |
Improving Automatic UML2 Profile Generation for MDA Industrial Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER Workshops ![In: Advances in Conceptual Modeling - Challenges and Opportunities, ER 2008 Workshops CMLSA, ECDM, FP-UML, M2AS, RIGiM, SeCoGIS, WISM, Barcelona Spain, October 20-23, 2008. Proceedings, pp. 113-122, 2008, Springer, 978-3-540-87990-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
DSML, MDA, MDD, Metamodeling, Model-driven Engineering, UML Profile, UML2 |
50 | Fatma Dhaou |
Vérification formelle de la relation de raffinement des diagrammes de séquences d'UML2.X avec la méthode formelle B événementiel. (Formal checking of refinement relation of UML2.X sequence diagram with Event-B method). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
RDF |
|
50 | Aymen Louati |
Contribution à la formalisation et à la vérification des diagrammes dynamiques UML2 à base des réseaux de Petri. (Contribution of Formalization and Verification of UML2 Dynamic Diagrams Based on Petri Nets). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
RDF |
|
44 | Tewfik Ziadi, Loïc Hélouët, Jean-Marc Jézéquel |
Revisiting Statechart Synthesis with an Algebraic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 26th International Conference on Software Engineering (ICSE 2004), 23-28 May 2004, Edinburgh, United Kingdom, pp. 242-251, 2004, IEEE Computer Society, 0-7695-2163-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
44 | Ina Schieferdecker, Zhen Ru Dai, Jens Grabowski, Axel Rennoch |
The UML 2.0 Testing Profile and Its Relation to TTCN-3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom ![In: Testing of Communicating Systems, 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings, pp. 79-94, 2003, Springer, 3-540-40123-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
41 | Philip Mayer, Andreas Schroeder 0001, Nora Koch |
A Model-Driven Approach to Service Orchestration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE SCC (2) ![In: 2008 IEEE International Conference on Services Computing (SCC 2008), 8-11 July 2008, Honolulu, Hawaii, USA, pp. 533-536, 2008, IEEE Computer Society, 978-0-7695-3283-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
SOA, MDA, Transformation, BPEL, Orchestration, UML2 |
41 | Kari Leppänen, Sari Leppänen, Markku Turunen |
A Modelling Method for Rigorous and Automated Design of Large-Scale Industrial Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings, pp. 331-345, 2007, Springer, 978-3-540-75208-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
model-based system design, formal methods, MDA, design automation, UML2 |
41 | Hongxing Liu, Yansheng Lu, Qing Yang |
XML conceptual modeling with XUML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006, pp. 973-976, 2006, ACM, 1-59593-375-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
XML, conceptual model, XML schema, UML2 |
41 | Xiaoshan Li |
A Characterization of UML Diagrams and their Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 15-17 August 2006, Stanford, California, USA, pp. 67-76, 2006, IEEE Computer Society, 0-7695-2530-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
UML2.0, Semantics, Consistency Checking, Sequence Diagram |
39 | Dominik Gessenharter |
Mapping the UML2 Semantics of Associations to a Java Code Generation Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings, pp. 813-827, 2008, Springer, 978-3-540-87874-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Java, UML, Code Generation, Associations |
39 | Vaclav Cechticky, Martin Egli, Alessandro Pasetti, O. Rohlik, Tullio Vardanega |
A UML2 Profile for Reusable and Verifiable Software Components for Real-Time Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSR ![In: Reuse of Off-the-Shelf Components, 9th International Conference on Software Reuse, ICSR 2006, Turin, Italy, June 12-15, 2006, Proceedings, pp. 312-325, 2006, Springer, 3-540-34606-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
39 | Keith Duddy |
UML2 must enable a family of languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 45(11), pp. 73-75, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
UML |
29 | Kenneth Chan, Iman Poernomo |
QoS-aware model driven architecture through the UML and CIM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. Frontiers ![In: Inf. Syst. Frontiers 9(2-3), pp. 209-224, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
QoS, Monitoring, Model driven architecture, Instrumentation |
29 | Frédérick Seyler, Chantal Taconet, Guy Bernard |
Context Adaptation of Web Service Orchestrations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 16th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE 2007), 18-20 June 2007, Paris, France, pp. 351-356, 2007, IEEE Computer Society, 0-7695-2879-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Alexander Viehl, Timo Schönwald, Oliver Bringmann 0001, Wolfgang Rosenstiel |
Formal performance analysis and simulation of UML/SysML models for ESL design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2006, Munich, Germany, March 6-10, 2006, pp. 242-247, 2006, European Design and Automation Association, Leuven, Belgium, 3-9810801-1-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, Sari Leppänen |
Formal Verification of Consistency in Model-Driven Development of Distributed Communicating Systems and Communication Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA ![In: Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15-19 November 2006, pp. 425-432, 2006, IEEE Computer Society, 978-0-7695-3071-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Rabih Zbib, Ashish Jain, Devasis Bassu, Hiralal Agrawal |
Generating Domain Specific Graphical Modeling Editors from Meta Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: 30th Annual International Computer Software and Applications Conference, COMPSAC 2006, Chicago, Illinois, USA, September 17-21, 2006. Volume 1, pp. 129-138, 2006, IEEE Computer Society, 0-7695-2655-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Kenneth Chan, Iman Poernomo |
QoS-Aware Model Driven Architecture through the UML and CIM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOC ![In: Tenth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006), 16-20 October 2006, Hong Kong, China, pp. 345-354, 2006, IEEE Computer Society, 0-7695-2558-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
29 | C. Canevet, Stephen Gilmore, Jane Hillston, Leïla Kloul, Perdita Stevens |
Analysing UML 2.0 activity diagrams in the software performance engineering process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOSP ![In: Proceedings of the Fourth International Workshop on Software and Performance, WOSP 2004, Redwood Shores, California, USA, January 14-16, 2004, pp. 74-78, 2004, ACM. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Cyril Ballagny, Nabil Hameurlain, Franck Barbier |
Dynamic adaptive software components: the MOCAS approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSTST ![In: CSTST 2008: Proceedings of the 5th International Conference on Soft Computing as Transdisciplinary Science and Technology, Cergy-Pontoise, France, October 28-31, 2008, pp. 517-524, 2008, ACM, 978-1-60558-046-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
UML2 state machine, dynamic adaptation, component model |
26 | Imran Rafiq Quadri, Pierre Boulet, Samy Meftali, Jean-Luc Dekeyser |
Using an MDE Approach for Modeling of Interconnection Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPAN ![In: 9th International Symposium on Parallel Architectures, Algorithms, and Networks, ISPAN 2008, 7-9 May 2008, Sydney, NSW, Australia, pp. 289-294, 2008, IEEE Computer Society, 978-0-7695-3125-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
UML2 Templates, SoC, MINs, NoC, MDE, MARTE, Delta Networks |
25 | Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Layth Sliman, Mourad Kmimech |
An MDE-Based Tool for Early Analysis of UML2.0/PSM Atomic and Composite Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Syst. J. ![In: IEEE Syst. J. 14(2), pp. 1647-1657, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech, Faouzi Moussa |
A contractual approach for the verification of UML2.0 software architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Appl. Technol. ![In: Int. J. Comput. Appl. Technol. 57(1), pp. 45-58, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Fatma Dhaou, Inès Mouakher, J. Christian Attiogbé, Khaled Bsaïes |
Guard Evaluation and Synchronization Issues in Causal Semantics for UML2.X Sequence Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ENASE ![In: Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2018, Funchal, Madeira, Portugal, March 23-24, 2018., pp. 275-282, 2018, SciTePress, 978-989-758-300-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Fatma Dhaou, Inès Mouakher, J. Christian Attiogbé, Khaled Bsaïes |
A Causal Semantics for UML2.0 Sequence Diagrams with Nested Combined Fragments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ENASE ![In: ENASE 2017 - Proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering, Porto, Portugal, April 28-29, 2017., pp. 47-56, 2017, SciTePress, 978-989-758-250-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech, Layth Sliman |
UML2ADA for Early Verification of Concurrency Inside the UML2.0 Atomic Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISDA ![In: Intelligent Systems Design and Applications - 17th International Conference on Intelligent Systems Design and Applications (ISDA 2017) Held in Delhi, India, December 14-16, 2017, pp. 10-20, 2017, Springer, 978-3-319-76347-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Aymen Louati, Kamel Barkaoui |
Formal Verification of UML2 Timing Diagrams based on Time Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Inf. Syst. Serv. Sect. ![In: Int. J. Inf. Syst. Serv. Sect. 8(2), pp. 87-97, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech |
Behavioral Verification of UML2.0/PoSM Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoMeT ![In: New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Fifteenth SoMeT_16, Larnaca, Cyprus, 12-14 September 2016, pp. 246-257, 2016, IOS Press, 978-1-61499-673-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech |
Behavioral Verification of UML2.0 Software Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SKG ![In: 12th International Conference on Semantics, Knowledge and Grids, SKG 2016, Beijing, China, August 15-17, 2016, pp. 115-120, 2016, IEEE Computer Society, 978-1-5090-4795-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Fatma Dhaou, Inès Mouakher, J. Christian Attiogbé, Khaled Bsaïes |
Refinement of UML2.0 Sequence Diagrams for Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOFT-EA ![In: Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) - Volume 1: ICSOFT-EA, Lisbon, Portugal, July 24 - 26, 2016., pp. 310-318, 2016, SciTePress, 978-989-758-194-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Meryem Elallaoui, Khalid Nafil, Rajaa Touahni, Rochdi Messoussi |
Automated Model Driven Testing Using AndroMDA and UML2 Testing Profile in Scrum Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ANT/SEIT ![In: The 7th International Conference on Ambient Systems, Networks and Technologies (ANT 2016) / The 6th International Conference on Sustainable Energy Information Technology (SEIT-2016) / Affiliated Workshops, May 23-26, 2016, Madrid, Spain, pp. 221-228, 2016, Elsevier. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech, Faouzi Moussa |
UML2.0 Formalization and Acme Verification of the Qualitative Properties of Software Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2016, Paris, France, June 13-15, 2016, pp. 192-197, 2016, IEEE Computer Society, 978-1-5090-1663-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Fatma Dhaou, Inès Mouakher, J. Christian Attiogbé, Khaled Bsaïes |
Extending Causal Semantics of UML2.0 Sequence Diagram for Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOFT-EA ![In: ICSOFT-EA 2015 - Proceedings of the 10th International Conference on Software Engineering and Applications, Colmar, Alsace, France, 20-22 July, 2015., pp. 339-347, 2015, SciTePress, 978-989-758-114-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Aissam Belghiat, Allaoua Chaoui |
A Pi-calculus-based Approach for the Verification of UML2 Sequence Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOFT-PT ![In: ICSOFT-PT 2015 - Proceedings of the 10th International Conference on Software Paradigm Trends, Colmar, Alsace, France, 20-22 July, 2015., pp. 87-94, 2015, SciTePress, 978-989-758-115-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Sabine Boufenara, Kamel Barkaoui, Faiza Belala, Hanifa Boucheneb |
Transactional Petri nets: a semantic framework for UML2 activities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Crit. Comput. Based Syst. ![In: Int. J. Crit. Comput. Based Syst. 5(3/4), pp. 241-267, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Miloud Bennama, Thouraya Bouabana-Tebibel |
Validation environment of UML2 IOD based on hierarchical coloured Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Appl. Technol. ![In: Int. J. Comput. Appl. Technol. 47(2/3), pp. 227-240, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
25 | Mohamed Tahar Bhiri, Taoufik Sakka Rouis, Mourad Kmimech |
Checking Non-functional Properties of UML2.0 Components Assembly. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, Hammamet, Tunisia, June 17-20, 2013, pp. 278-283, 2013, IEEE Computer Society, 978-1-4799-0405-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
25 | Mourad Kmimech |
Vérification d'assemblages de composants logiciels : Application aux modèles de composants UML2.0 et Ugatze ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1207.7121, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
25 | Patrick Gaubatz, Uwe Zdun |
UML2 Profile and Model-Driven Approach for Supporting System Integration and Adaptation of Web Data Mashups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWE Workshops ![In: Current Trends in Web Engineering - ICWE 2012 International Workshops: MDWE, ComposableWeb, WeRE, QWE, and Doctoral Consortium, Berlin, Germany, July 23-27, 2012, Revised Selected Papers, pp. 81-92, 2012, Springer, 978-3-642-35622-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Azzam Maraee, Mira Balaban |
Inter-association Constraints in UML2: Comparative Analysis, Usage Recommendations, and Modeling Guidelines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems - 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30-October 5, 2012. Proceedings, pp. 302-318, 2012, Springer, 978-3-642-33665-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Takoua Ben Rhouma, Patrick Tessier, François Terrier |
Merging UML2 Composite Structures of Software Product Lines. ![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. 77-85, 2012, IEEE Computer Society, 978-1-4673-2156-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Tu Peng, Gangyi Ding |
Formal specification and automated verification of UML2.0 sequence diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GrC ![In: 2012 IEEE International Conference on Granular Computing, GrC 2012, Hangzhou, China, August 11-13, 2012, pp. 370-375, 2012, IEEE Computer Society, 978-1-4673-2310-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Mourad Kmimech, Mohamed Tahar Bhiri, Mohamed Graiet, Philippe Aniorté |
Vérification des propriétés structurelles et non fonctionnelles d'assemblages de composants UML2.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAL ![In: Avancées récentes dans le domaine des Architectures Logicielles : articles sélectionnés et étendus de CAL'2011, Lille, France, 7-8 Juin 2011, pp. 93-117, 2011, Hermann, 9782705684174. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
25 | Sigrid Schefer |
Consistency Checks for Duties in Extended UML2 Activity Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Sixth International Conference on Availability, Reliability and Security, ARES 2011, Vienna, Austria, August 22-26, 2011, pp. 680-685, 2011, IEEE Computer Society, 978-1-4577-0979-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
25 | Chen Zhang, Zhenhua Duan |
Specification and Verification of UML2.0 Sequence Diagrams Using Event Deterministic Finite Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSIRI (Companion) ![In: Fifth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011, 27-29 June, 2011, Jeju Island, Korea - Companion Volume, pp. 41-46, 2011, IEEE Computer Society, 978-0-7695-4454-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
25 | Reehan Shaikh, Hans Vangheluwe |
Transforming UML2.0 class diagrams and statecharts to atomic DEVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (TMS-DEVS) ![In: 2011 Spring Simulation Multi-conference, SpringSim '11, Boston, MA, USA, April 03-07, 2011. Volume 4: Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium (TMS-DEVS)., pp. 205-212, 2011, SCS/ACM. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
25 | Wided Ben Abid, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou |
Profile UML2.0 for Specification of the SCA Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SKG ![In: Seventh International Conference on Semantics Knowledge and Grid (SKG 2011), Beijing, China, October 24-26, 2011, pp. 191-194, 2011, IEEE Computer Society, 978-1-4577-1323-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
25 | Meixia Zhu, Hanpin Wang, Wei Jin, Zizhen Wang, Chunxiang Xu |
Semantic Analysis of UML2.0 Sequence Diagram Based on Model Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC Workshops ![In: Workshop Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, COMPSAC Workshops 2010, Seoul, Korea, 19-23 July 2010, pp. 170-175, 2010, IEEE Computer Society, 978-0-7695-4105-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Iman Poernomo, George Tsaramirsis, Mohammad Yamin |
Ontology based UML2 Component Architecture Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISO ![In: ICISO 2010 - Proceedings of the Twelfth International Conference on Informatics and Semiotics in Organisations, Reading, UK, July 19-21, 2010, pp. 314-321, 2010, SciTePress, 978-989-8425-26-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
25 | Gerhard Fuchs, Reinhard German |
UML2 activity diagram based programming of wireless sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SESENA@ICSE ![In: Proceedings of the 2010 ICSE Workshop on Software Engineering for Sensor Network Applications, SESENA 2010, Cape Town, South Africa, May 3, 2010, pp. 8-13, 2010, ACM, 978-1-60558-969-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Fateh Boutekkouk, Mohamed Benmohammed, Sébastien Bilavarn, Michel Auguin |
UML2.0 Profiles for Embedded Systems and Systems On a Chip (SOCs). ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Technol. ![In: J. Object Technol. 8(1), pp. 135-157, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Tero Arpinen, Erno Salminen, Timo D. Hämäläinen, Marko Hännikäinen |
Performance Evaluation of UML2-Modeled Embedded Streaming Applications with System-Level Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EURASIP J. Embed. Syst. ![In: EURASIP J. Embed. Syst. 2009, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Tero Arpinen, Tapio Koskinen, Erno Salminen, Timo D. Hämäläinen, Marko Hännikäinen |
Evaluating UML2 modeling of IP-XACT objects for automatic MP-SoC integration onto FPGA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation and Test in Europe, DATE 2009, Nice, France, April 20-24, 2009, pp. 244-249, 2009, IEEE, 978-1-4244-3781-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Hubert Dubois, Fadoi Lakhal, Sébastien Gérard |
The Papyrus Tool as an Eclipse UML2-modeling Environment for Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MARK@RE ![In: Second International Workshop on Managing Requirements Knowledge, MARK@RE 2009, Atlanta, GA, USA, September 1, 2009., pp. 85-88, 2009, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Jari Kreku, Mika Hoppari, Tuomo Kestilä, Yang Qu, Juha-Pekka Soininen, Per Andersson, Kari Tiensyrjä |
Combining UML2 Application and SystemC Platform Modelling for Performance Evaluation of Real-Time Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EURASIP J. Embed. Syst. ![In: EURASIP J. Embed. Syst. 2008, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Alain Beaulieu, Greg Phillips, Sandra Smith |
Modeling Security Protocols using UML2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MODSEC@MoDELS ![In: Proceedings of the Workshop on Modeling Security ( MODSEC08 ) held as part of the 2008 International Conference on Model Driven Engineering Languages and Systems ( MODELS ) Toulouse, France, September 28, 2008., 2008, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
25 | Howard Foster, Sebastián Uchitel, Jeff Kramer, Jeff Magee |
Leveraging Modes and UML2 for Service Brokering Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MDWE@MoDELS ![In: Proceedings of the 4th International Workshop on Model-Driven Web Engineering, MDWE@MoDELS 2008, Tolouse, France, September 30 , 2008., 2008, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
25 | Javier Fabra, Joaquín Peña, Antonio Ruiz Cortés, Joaquin Ezpeleta |
Enabling the Evolution of Service-Oriented Solutions Using an UML2 Profile and a Reference Petri Nets Execution Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIW ![In: Third International Conference on Internet and Web Applications and Services, ICIW 2008, 8-13 June 2008, Athens, Greece, pp. 198-204, 2008, IEEE Computer Society, 978-0-7695-3163-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Web processes, UML, SOA, Petri nets, MDD, Orchestration, Choreography, SOC |
25 | Mara Nikolaidou, Vassilis Dalakas, Georgios-Dimitrios Kapos, Loreta Mitsi, Dimosthenis Anagnostopoulos |
A UML2.0 profile for DEVS: Providing code generation capabilities for simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEDE ![In: 16th International Conference on Software Engineering and Data Engineering (SEDE-2007), July 9-11, 2007, Imperial Palace Hotel Las Vegas, Las Vegas, Nevada, USA, Proceedings, pp. 314-319, 2007, ISCA, 978-1-880843-63-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
25 | Sébastien Gérard, Cédric Dumoulin, Patrick Tessier, Bran Selic |
Papyrus: A UML2 Tool for Domain-Specific Language Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Model-Based Engineering of Embedded Real-Time Systems ![In: Model-Based Engineering of Embedded Real-Time Systems - International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers, pp. 361-368, 2007, Springer, 978-3-642-16276-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Ahmed M. Mostafa, Manal Ahmed Ismail, Hatem El-Bolok, E. M. Saad |
Toward a Formalization of UML2.0 Metamodel using Z Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNPD (1) ![In: Proceedings of the 8th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2007, July 30 - August 1, 2007, Qingdao, China, pp. 694-701, 2007, IEEE Computer Society, 0-7695-2909-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Use Case Diagram, State Machine Diagram, Unified Modeling Language (UML), Formalization, Class Diagram, Z specification language |
25 | Tim Weilkiens, Bernd Oestereich |
UML2-Zertifizierung - Fundamental, Intermediate und Advanced: Test-Vorbereitung zum OMG Certified UML Professional. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2006 |
RDF |
|
25 | Mohamed Graiet, Mohamed Tahar Bhiri, Faïza Dammak, Jean-Pierre Giraudin |
Adaptation d'UML2.0 à l'ADL Wright. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAL ![In: 1er Conférence francophone sur les Architectures Logicielles (CAL 2006), 4-6 September 2006, Nantes, France, pp. 83-100, 2006, Hermes Science. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
25 | Alexander Viehl, Oliver Bringmann 0001, Wolfgang Rosenstiel |
Virtual Prototyping und frühe Evaluierung von Systems-on-Chip mit UML2 und SysML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22, 2006, pp. 266-270, 2006, Fraunhofer Institut für Integrierte Schaltungen. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
25 | Ouassila Labbani, Éric Rutten, Jean-Luc Dekeyser, Pierre Boulet |
UML2 Profile for Modeling Controlled Data Parallel Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2006, September 19-22, 2006, Darmstadt, Germany, Proceedings, pp. 359-367, 2006, ECSI, 978-3-00-019710-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
25 | Mouez Ali, Hanêne Ben-Abdallah, Faïez Gargouri |
Validation des Besoins dans les Modèles UML2.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFORSID ![In: Actes du XXIVème Congrès INFORSID, Hammamet, Tunisie, 31 mai - 4 juin, 2006, pp. 959-974, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
25 | Mohamed Graiet, Mohamed Tahar Bhiri, Jean-Pierre Giraudin, Noureddine Belkhatir |
Architecture des systèmes avec la norme UML2.0 et l'ADL Wright. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFORSID ![In: Actes du XXIVème Congrès INFORSID, Hammamet, Tunisie, 31 mai - 4 juin, 2006, pp. 927-942, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
25 | Sadahiro Isoda |
On UML2.0's Abandonment of the Actors-Call-Use-Cases Conjecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Technol. ![In: J. Object Technol. 4(6), pp. 69-80, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Alexander Nyßen, Horst Lichter, Jan Suchotzki, Peter O. Müller, Andreas Stelter |
UML2-basierte Architekturmodellierung kleiner eingebetteter Systeme Erfahrungen einer Feldstudie. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme I, Schloss Dagstuhl, Germany, 10.-14. Januar 2005, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 147-158, 2005, TU Braunschweig, Institut für Software Systems Engineering. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
25 | Tim Weilkiens, Bernd Oestereich |
UML2-Zertifizierung - Test-Vorbereitung zum OMG Certified UML Professional Fundamental. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2004 |
RDF |
|
25 | Arnaud Cuccuru, Philippe Marquet, Jean-Luc Dekeyser |
UML2 as an ADL Hierarchichal Hardware Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP-WADL ![In: Architecture Description Languages - IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22-27, 2004, Toulouse, France, pp. 133-147, 2004, Springer, 978-0-387-24589-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Arnaud Cuccuru, Pierre Boulet, Jean-Luc Dekeyser |
Regular Hardware Architecture Modeling with UML2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2004, September 14-17, 2004, Lille, France, Proceedings, pp. 289-301, 2004, ECSI. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
25 | Dave Thomas |
UML - Unified or Universal Modeling Language? UML2, OCL, MOF, EDOC - The Emperor Has Too Many Clothes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Technol. ![In: J. Object Technol. 2(1), pp. 7-12, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Sita Ramakrishnan |
VISWAS and on Diagnosability with IEEE Std P1522 and UML2.0 Testing Profile. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FATES ![In: Formal Approaches to Software Testing, Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003, pp. 236-251, 2003, Springer, 3-540-20894-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Oscar R. Polo, Kristof Konings, Pablo Parra, Martin Knoblauch, Ignacio García, Sebastián Sánchez-Prieto |
Preliminary feasibility analysis of component based modelling and automatic Java code generation for nanosatellite on-board software: short paper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTRES ![In: Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2010, Prague, Czech Republic, August 19-21, 2010, pp. 79-81, 2010, ACM, 978-1-4503-0122-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
software engineering, real-time systems |
15 | Juliana Küster Filipe Bowles, Leïla Kloul |
Synthesising PEPA nets from IODs for performance analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOSP/SIPEW ![In: Proceedings of the first joint WOSP/SIPEW International Conference on Performance Engineering, San Jose, California, USA, January 28-30, 2010, pp. 195-200, 2010, ACM, 978-1-60558-563-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
formal transformation, pepa nets, uml 2 interaction diagrams, mobility, performance analysis |
15 | Elvinia Riccobene, Patrizia Scandurra |
Model transformations in the UPES/UPSoC development process for embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 5(1), pp. 35-47, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Model-based development (MBD), Unified modeling language (UML), Model transformations, SystemC, Embedded system design |
15 | Linas Laibinis, Elena Troubitsyna, Sari Leppänen |
Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Methods, Models and Tools for Fault Tolerance ![In: Methods, Models and Tools for Fault Tolerance, pp. 130-151, 2009, Springer, 978-3-642-00866-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
fault tolerance, UML, B Method, communicating systems, parallel execution, service-oriented development |
15 | Charles André, Frédéric Mallet |
Specification and verification of time requirements with CCSL and Esterel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, LCTES 2009, Dublin, Ireland, June 19-20, 2009, pp. 167-176, 2009, ACM, 978-1-60558-356-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
synchronous languages, uml, marte, time model |
15 | Minxue Pan, Lei Bu, Xuandong Li |
TASS: Timing Analyzer of Scenario-Based Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings, pp. 689-695, 2009, Springer, 978-3-642-02657-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Howard Foster, Arun Mukhija, David S. Rosenblum, Sebastián Uchitel |
Engage: Engineering Service Modes with WS-Engineer and Dino. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOC/ServiceWave ![In: Service-Oriented Computing, 7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009. Proceedings, pp. 641-642, 2009, 978-3-642-10382-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Shahar Maoz, Jani Metsä, Mika Katara |
Model-Based Testing Using LSCs and S2A. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings, pp. 301-306, 2009, Springer, 978-3-642-04424-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Shahar Maoz |
Polymorphic Scenario-Based Specification Models: Semantics and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings, pp. 499-513, 2009, Springer, 978-3-642-04424-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Reda Bendraou, Jean-Marc Jézéquel, Franck Fleurey |
Combining Aspect and Model-Driven Engineering Approaches for Software Process Modeling and Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSP ![In: Trustworthy Software Development Processes, International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 Proceedings, pp. 148-160, 2009, Springer, 978-3-642-01679-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
process modeling and execution, UML, Executable models |
15 | Tony Spiteri Staines |
Intuitive Mapping of UML 2 Activity Diagrams into Fundamental Modeling Concept Petri Net Diagrams and Colored Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 15th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2008), 31 March - 4 April 2008, Belfast, Northern Ireland, pp. 191-200, 2008, IEEE Computer Society, 978-0-7695-3141-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Nizar Idoudi, Claude Duvallet, Bruno Sadeg, Rafik Bouaziz, Faïez Gargouri |
Structural Model of Real-Time Databases: An Illustration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 5-7 May 2008, Orlando, Florida, USA, pp. 58-65, 2008, IEEE Computer Society, 978-0-7695-3132-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Howard Foster, Arun Mukhija, David S. Rosenblum, Sebastián Uchitel |
A Model-Driven Approach to Dynamic and Adaptive Service Brokering Using Modes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOC ![In: Service-Oriented Computing - ICSOC 2008, 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings, pp. 558-564, 2008, 978-3-540-89647-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Ji Wu 0003, Liu Yang, Xu Luo |
Jata: A Language for Distributed Component Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 3-5 December 2008, Beijing, China, pp. 145-152, 2008, IEEE Computer Society, 978-0-7695-3446-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Farhad Arbab, Sun Meng |
Synthesis of Connectors from Scenario-Based Interaction Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBSE ![In: Component-Based Software Engineering, 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings, pp. 114-129, 2008, Springer, 978-3-540-87890-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Scenario-based Specification, UML, Synthesis, Connector, Reo, Constraint Automata |
15 | Richard Torbjørn Sanders, Øystein Haugen |
Milestones: Mythical Signals in UML to Analyze and Monitor Progress. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ServiceWave ![In: Towards a Service-Based Internet, First European Conference, ServiceWave 2008, Madrid, Spain, December 10-13, 2008. Proceedings, pp. 110-121, 2008, Springer, 978-3-540-89896-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|