Search Sciweavers | Sciweavers

12981 search results - page 272 / 2597

» Model Checking (Abstract)

160

click to vote

EDOC
2006
IEEE

128views Distributed And Parallel Com...» more EDOC 2006»

UML4SPM: An Executable Software Process Modeling Language Providing High-Level Abstractions

16 years 19 days ago

Download pagesperso-systeme.lip6.fr

Reda Bendraou, Marie-Pierre Gervais, Xavier Blanc

claim paper

Read More »

112

click to vote

ICEIS
2006
IEEE

101views Information Technology» more ICEIS 2006»

Towards Practical Tools for Mining Abstractions in UML Models

16 years 19 days ago

Download www.lirmm.fr

Michel Dao, Marianne Huchard, Mohamed Rouane Hacen...

claim paper

Read More »

146

click to vote

EDOC
2005
IEEE

110views Distributed And Parallel Com...» more EDOC 2005»

Abstract Interactions and Interaction Refinement in Model-Driven Design

16 years 6 days ago

Download is.tm.tue.nl

João Paulo A. Almeida, Remco M. Dijkman, Lu...

claim paper

Read More »

139

click to vote

BPM
2005
Springer

88views Business» more BPM 2005»

Mining Hierarchies of Models: From Abstract Views to Concrete Specifications

16 years 3 days ago

Download dns2.icar.cnr.it

Gianluigi Greco, Antonella Guzzo, Luigi Pontieri

claim paper

Read More »

121

click to vote

CP
2005
Springer

110views Artificial Intelligence» more CP 2005»

Methods to Learn Abstract Scheduling Models

16 years 3 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers