Search Sciweavers | Sciweavers

17505 search results - page 166 / 3501

» Use Cases as Workflows

156

click to vote

EUROMICRO
2000
IEEE

114views Software Engineering» more EUROMICRO 2000»

Behavioral Specification of a Circuit Using SyncCharts: A Case Study

15 years 9 months ago

Download www-sop.inria.fr

In this paper we propose a high-level description of the behavior of digital systems. Behaviors are specified with a graphical synchronous model: “SyncCharts”. SyncCharts supp...

Charles André, Marie-Agnès Peraldi-F...

claim paper

Read More »

102

click to vote

ASM
2000
ASM

133views Computational Biology» more ASM 2000»

Using Abstract State Machines at Microsoft: A Case Study

15 years 9 months ago

Download research.microsoft.com

Michael Barnett, Egon Börger, Yuri Gurevich, ...

claim paper

Read More »

115

click to vote

ICEIS
1999
IEEE

117views Information Technology» more ICEIS 1999»

Generating Object-Z Specifications from Use Cases

15 years 9 months ago

Download www-ctp.di.fct.unl.pt

Ana M. D. Moreira, João Araújo

claim paper

Read More »

click to vote

ECOOPW
1999
Springer

103views Distributed And Parallel Com...» more ECOOPW 1999»

Detailing Use-Cases with Activity Diagrams and Object Views

15 years 9 months ago

Download dme.uma.pt

Nuno Jardim Nunes, João Falcão e Cun...

claim paper

Read More »

104

click to vote

TOOLS
1999
IEEE

81views Programming Languages» more TOOLS 1999»

Use Case Modeling Guidelines

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers