Search results for "UML2.0"

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.	SDL Forum	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.	IITA	2007	DBLP DOI BibTeX RDF
69	Sunghwan Roh, Kyungrae Kim, Taewoong Jeon	Architecture Modeling Language based on UML2.0.	APSEC	2004	DBLP DOI BibTeX RDF
54	Leïla Kloul, Juliana Küster Filipe	Modelling Mobility with UML2.0 and PEPA Nets.	ACSD	2006	DBLP DOI BibTeX RDF
54	Reda Bendraou, Marie-Pierre Gervais, Xavier Blanc 0001	UML4SPM: A UML2.0-Based Metamodel for Software Process Modelling.	MoDELS	2005	DBLP DOI BibTeX RDF	SP Metamodel, MDD, Software Process Modelling, Process Modelling Languages
54	Mohamed Hadj Kacem, Mohamed Jmaiel, Ahmed Hadj Kacem, Khalil Drira	Using UML2.0 and GG for Describing the Dynamic of Software Architectures.	ICITA (1)	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.	ICSE	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.	TestCom	2003	DBLP DOI BibTeX RDF
41	Xiaoshan Li	A Characterization of UML Diagrams and their Consistency.	ICECCS	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.	COMPSAC (1)	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.	WOSP	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.	IEEE Syst. J.	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.	Int. J. Comput. Appl. Technol.	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.	ENASE	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.	ISDA	2017	DBLP DOI BibTeX RDF
25	Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech	Behavioral Verification of UML2.0/PoSM Components.	SoMeT	2016	DBLP DOI BibTeX RDF
25	Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech	Behavioral Verification of UML2.0 Software Architecture.	SKG	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.	ICSOFT-EA	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.	WETICE	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.	ICSOFT-EA	2015	DBLP DOI BibTeX RDF
25	Mohamed Tahar Bhiri, Taoufik Sakka Rouis, Mourad Kmimech	Checking Non-functional Properties of UML2.0 Components Assembly.	WETICE	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	CoRR	2012	DBLP BibTeX RDF
25	Tu Peng, Gangyi Ding	Formal specification and automated verification of UML2.0 sequence diagrams.	GrC	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.	CAL	2011	DBLP BibTeX RDF
25	Chen Zhang, Zhenhua Duan	Specification and Verification of UML2.0 Sequence Diagrams Using Event Deterministic Finite Automata.	SSIRI (Companion)	2011	DBLP DOI BibTeX RDF
25	Reehan Shaikh, Hans Vangheluwe	Transforming UML2.0 class diagrams and statecharts to atomic DEVS.	SpringSim (TMS-DEVS)	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.	SKG	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.	COMPSAC Workshops	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).	J. Object Technol.	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.	SEDE	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.	SNPD (1)	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.	CAL	2006	DBLP BibTeX RDF
25	Mouez Ali, Hanêne Ben-Abdallah, Faïez Gargouri	Validation des Besoins dans les Modèles UML2.0.	INFORSID	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.	INFORSID	2006	DBLP BibTeX RDF
25	Sita Ramakrishnan	VISWAS and on Diagnosability with IEEE Std P1522 and UML2.0 Testing Profile.	FATES	2003	DBLP DOI BibTeX RDF
15	Minxue Pan, Lei Bu, Xuandong Li	TASS: Timing Analyzer of Scenario-Based Specifications.	CAV	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.	ICSP	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.	CBSE	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*.	CDVE	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.	FSEN	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.	EUROMICRO-SEAA	2007	DBLP DOI BibTeX RDF
15	Wolfgang Grieskamp, Nicolas Kicillof	6th International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM07).	ICSE Companion	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.	ICECCS	2007	DBLP DOI BibTeX RDF
15	Robert de Simone, Charles André	Towards a "Synchronous Reactive" UML profile?	Int. J. Softw. Tools Technol. Transf.	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.	SAC	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.	MoDELS	2006	DBLP DOI BibTeX RDF
15	Louis van Gool, Teade Punter, Marc Hamilton, Remco van Engelen	Compositional MDA.	MoDELS	2006	DBLP DOI BibTeX RDF
15	Reda Bendraou, Marie-Pierre Gervais, Xavier Blanc 0001	UML4SPM: An Executable Software Process Modeling Language Providing High-Level Abstractions.	EDOC	2006	DBLP DOI BibTeX RDF
15	Tim Schattkowsky, Alexander Förster	A Generic Component Framework for High Performance Locally Concurrent Computing Based on UML 2.0 Activities.	ECBS	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.	ICWE	2005	DBLP DOI BibTeX RDF
15	Reda Bendraou, Philippe Desfray, Marie-Pierre Gervais	MDA Components: A Flexible Way for Implementing the MDA Approach.	ECMDA-FA	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.	Architecting Systems with Trustworthy Components	2004	DBLP DOI BibTeX RDF
15	Antinisca Di Marco, Paola Inverardi	Compositional Generation of Software Architecture Performance QN Models.	WICSA	2004	DBLP DOI BibTeX RDF
15	Olivier Defour, Jean-Marc Jézéquel, Noël Plouzeau	Extra-Functional Contract Support in Components.	CBSE	2004	DBLP DOI BibTeX RDF
15	Piotr Kosiuczenko	Partial Order Semantics of Sequence Diagrams for Mobility.	Scenarios: Models, Transformations and Tools	2003	DBLP DOI BibTeX RDF
15	Perdita Stevens	UML and Concurrency.	Abstract State Machines	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.	FMCO	2003	DBLP DOI BibTeX RDF
15	Jennifer Tenzer, Perdita Stevens	Modelling Recursive Calls with UML State Diagrams.	FASE	2003	DBLP DOI BibTeX RDF
15	Stephan Flake, Wolfgang Müller 0003	A UML Profile for Real-Time Constraints with the OCL.	UML	2002	DBLP DOI BibTeX RDF