JOT 2010 - PDF Preprint Papers

JOT 2010

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed JOT-2010 Paper

click to vote

JOT
2010

216views more JOT 2010»

A UML and Colored Petri Nets Integrated Modeling and Analysis Approach using Graph Transformation

13 years 9 months ago

Download www.jot.fm

Nowadays, UML is considered to be the standardized language for object-oriented modeling and analysis. However, UML cannot be used for automatic analyses and simulation. In this pa...

Elhillali Kerkouche, Allaoua Chaoui, El Bay Bouren...

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	216	A UML and Colored Petri Nets Integrated Modeling and Analysis Approach using Graph Transformation	claim
2	208	Automatic Test Data Synthesis using UML Sequence Diagrams	claim
3	186	The Discrete Fourier Transform, Part 6: Cross-Correlation	claim
4	173	A Dependence Representation for Coverage Testing of Object-Oriented Programs	claim
5	167	The Discrete Fourier Transform, Part 5: Spectrogram	claim
6	153	Identification of System Software Components Using Clustering Approach	claim
7	144	A Tool for Specifying and Validating Agents' Interaction Protocols: From Agent UML to Maude	claim
8	144	REquirements, Aspects and Software Quality: the REASQ model	claim
9	142	Darwin's World Simulation in C#: The Model/View Classes	claim
10	142	On Differencing Object-Oriented Formal Specifications	claim
11	142	Attached Processes	claim
12	137	Computational Abstraction Steps	claim
13	130	Test Case Generation Based on State and Activity Models	claim
14	126	Inferring design patterns using the ReP graph	claim
15	125	Enhancing NetBeans with Transparent Fault Tolerance Using Meta-Level Architecture	claim
16	124	Improving Learning Object Reuse Through OOD: A Theory of Learning Objects	claim
17	122	Extracting State Models for Black-Box Software Components	claim
18	117	Formal Model and DSL for Separation of Concerns based on Views	claim
19	115	A Rule-Driven Approach for composing Viewpoint-oriented Models	claim
20	114	Semantic Annotation for Java	claim
21	113	SOA Web Security and Applications	claim
22	111	Covariantly Adjusting Co-Types in Timor	claim
23	108	Extending Scala with Database Query Capability	claim
24	108	Dynamic adaptability with .NET service components	claim
25	106	Darwin's World Simulation in C#: An Interpreter	claim
26	100	A Modern, Compact Implementation of the Parameterized Factory Design Pattern	claim
27	99	A Framework for Adding Design by ContractTM to the .NET Object-Oriented Programming Languages	claim
28	97	Towards a theory and calculus of aliasing	claim
29	96	UML Profiles for Modeling Real-Time Communication Protocols	claim
30	80	An Aspect-Oriented Approach for the Development of Complex Simulation Software	claim
31	80	Intentionality	claim
32	80	On 'Cloud Nine' Through Architecture	claim
33	79	Analysis and Transformation of Behavioral Models Containing Overlapped Patterns	claim
34	77	'Architected' Cloud Solutions Revealed	claim
35	76	A Program Transformation Technique to Support AOP within C++ Template	claim
36	73	Growing Object-Oriented Software, Guided by Tests	claim
37	71	Farewell Editorial	claim
38	70	How AspectJ is Used: An Analysis of Eleven AspectJ Programs	claim
39	69	The Practice of 'Architecting' Cloud Solutions	claim
40	67	Converting Relational Databases into Object-relational Databases	claim
41	57	Professional Developers Practice their Kata to Stay Sharp	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers