Search Sciweavers | Sciweavers

24 search results - page 2 / 5

» sosym 2008

click to vote

SOSYM
2008

63views more SOSYM 2008»

Modeling and verification of a telecommunication application using live sequence charts and the Play-Engine tool

13 years 7 months ago

Download research.microsoft.com

Pierre Combes, David Harel, Hillel Kugler

claim paper

Read More »

click to vote

SOSYM
2008

73views more SOSYM 2008»

A methodology for the selection of requirements engineering techniques

13 years 7 months ago

Download www2.enel.ucalgary.ca

Li Jiang, Armin Eberlein, Behrouz H. Far, Majid Mo...

claim paper

Read More »

click to vote

SOSYM
2010

84views more SOSYM 2010»

Efficient analysis of pattern-based constraint specifications

13 years 5 months ago

Download www.brucker.ch

Michael Wahler, David A. Basin, Achim D. Brucker, ...

claim paper

Read More »

click to vote

SOSYM
2010

100views more SOSYM 2010»

Code generation by model transformation: a case study in transformation modularity

13 years 5 months ago

Download swerl.tudelft.nl

Zef Hemel, Lennart C. L. Kats, Danny M. Groenewege...

claim paper

Read More »

click to vote

SOSYM
2008

47views more SOSYM 2008»

Supporting UML-based development of embedded systems by formal techniques

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers