|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 30 occurrences of 25 keywords
|
|
|
Results
Found 59 publication records. Showing 59 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
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 | 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 | 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 |
|
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 | 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 |
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 | 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 |
|
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 |
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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | Songwen Pei, Baifeng Wu, Qiang Yu, Kun Zhu 0005 |
Novel Collaborative Automated Testing Framework Using DDF*. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDVE ![In: Cooperative Design, Visualization, and Engineering, 4th International Conference, CDVE 2007, Shanghai, China, September 16-20, 2007, Proceedings, pp. 385-395, 2007, Springer, 978-3-540-74779-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Sayed Mehran Sharafi, Fereidoon Shams Aliee, Ali Movaghar 0001 |
A Review on Specifying Software Architectures Using Extended Automata-Based Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSEN ![In: International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings, pp. 423-431, 2007, Springer, 978-3-540-75697-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Automata-based models, Software architectures, Components interaction |
15 | Reda Bendraou, Andrey Sadovykh, Marie-Pierre Gervais, Xavier Blanc 0001 |
Software Process Modeling and Execution: The UML4SPM to WS-BPEL Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO-SEAA ![In: 33rd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2007), August 28-31, 2007, Lübeck, Germany, pp. 314-321, 2007, IEEE Computer Society, 0-7695-2977-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Wolfgang Grieskamp, Nicolas Kicillof |
6th International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM07). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE Companion ![In: 29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007, Companion Volume, pp. 129-130, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Philippe Cuenot, De-Jiu Chen, Sébastien Gérard, Henrik Lönn, Mark-Oliver Reiser, David Servat, Carl-Johan Sjöstedt, Ramin Tavakoli Kolagari, Martin Törngren, Matthias Weber 0001 |
Managing Complexity of Automotive Electronics Using the EAST-ADL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 10-14 July 2007, Auckland, New Zealand, pp. 353-358, 2007, IEEE Computer Society, 978-0-7695-2895-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Robert de Simone, Charles André |
Towards a "Synchronous Reactive" UML profile? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 8(2), pp. 146-155, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
UML, Embedded systems, Real-time, Synchronous, Reactive |
15 | Mohamed Hadj Kacem, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira |
Describing dynamic software architectures using an extended UML model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 1245-1249, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
structural and dynamic views, software architecture, profile, UML extension |
15 | Gabriela Arévalo, Jean-Rémy Falleri, Marianne Huchard, Clémentine Nebut |
Building Abstractions in Class Models: Formal Concept Analysis in a Model-Driven Approach. ![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. 513-527, 2006, Springer, 3-540-45772-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Louis van Gool, Teade Punter, Marc Hamilton, Remco van Engelen |
Compositional MDA. ![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. 126-139, 2006, Springer, 3-540-45772-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Reda Bendraou, Marie-Pierre Gervais, Xavier Blanc 0001 |
UML4SPM: An Executable Software Process Modeling Language Providing High-Level Abstractions. ![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. 297-306, 2006, IEEE Computer Society, 0-7695-2558-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Tim Schattkowsky, Alexander Förster |
A Generic Component Framework for High Performance Locally Concurrent Computing Based on UML 2.0 Activities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 4-7 April 2005, Greenbelt, MD, USA, pp. 3-10, 2005, IEEE Computer Society, 0-7695-2308-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Farooque Azam, Li Zhang 0029, Rashid Ahmad 0001 |
Higher-Level Information Aspects of Web Systems: Addressing the Problem of Disconnection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWE ![In: Web Engineering, 5th International Conference, ICWE 2005, Sydney, Australia, July 27-29, 2005, Proceedings, pp. 472-477, 2005, Springer, 3-540-27996-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Reda Bendraou, Philippe Desfray, Marie-Pierre Gervais |
MDA Components: A Flexible Way for Implementing the MDA Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMDA-FA ![In: Model Driven Architecture - Foundations and Applications, 1st European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005, Proceedings, pp. 59-73, 2005, Springer, 3-540-30026-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
PLE, Packaging of know-how, MDA Component, MDA, MDD, reusability |
15 | Antonia Bertolino, Lars Frantzen, Andrea Polini, Jan Tretmans |
Audition of Web Services for Testing Conformance to Open Specified Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Architecting Systems with Trustworthy Components ![In: Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers, pp. 1-25, 2004, Springer, 3-540-35800-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Antinisca Di Marco, Paola Inverardi |
Compositional Generation of Software Architecture Performance QN Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WICSA ![In: 4th Working IEEE / IFIP Conference on Software Architecture (WICSA 2004), 12-15 June 2004, Oslo, Norway, pp. 37-46, 2004, IEEE Computer Society, 0-7695-2172-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Olivier Defour, Jean-Marc Jézéquel, Noël Plouzeau |
Extra-Functional Contract Support in Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBSE ![In: Component-Based Software Engineering, 7th International Symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004, Proceedings, pp. 217-232, 2004, Springer, 3-540-21998-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Piotr Kosiuczenko |
Partial Order Semantics of Sequence Diagrams for Mobility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scenarios: Models, Transformations and Tools ![In: Scenarios: Models, Transformations and Tools, International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers, pp. 212-227, 2003, Springer, 3-540-26189-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Perdita Stevens |
UML and Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract State Machines ![In: Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings, pp. 151-165, 2003, Springer, 3-540-00624-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Jean-Marc Jézéquel, Olivier Defour, Noël Plouzeau |
An MDA Approach to Tame Component Based Software Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCO ![In: Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures, pp. 260-275, 2003, Springer, 3-540-22942-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Jennifer Tenzer, Perdita Stevens |
Modelling Recursive Calls with UML State Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings, pp. 135-149, 2003, Springer, 3-540-00899-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Stephan Flake, Wolfgang Müller 0003 |
A UML Profile for Real-Time Constraints with the OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML ![In: UML 2002 - The Unified Modeling Language, 5th International Conference, Dresden, Germany, September 30 - October 4, 2002, Proceedings, pp. 179-195, 2002, Springer, 3-540-44254-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #59 of 59 (100 per page; Change: )
|
|