Search Sciweavers | Sciweavers

1809 search results - page 36 / 362

» A Formal Specification of dMARS

167

click to vote

EMSOFT
2006
Springer

260views Software Engineering» more EMSOFT 2006»

Towards a formal foundation for domain specific modeling languages

15 years 8 months ago

Download research.microsoft.com

Ethan K. Jackson, Janos Sztipanovits

claim paper

Read More »

108

click to vote

OOPSLA
2000
Springer

70views Security Privacy» more OOPSLA 2000»

Formal specification of CORBA services: experience and lessons learned

15 years 8 months ago

Download www.cin.ufpe.br

Rémi Bastide, Philippe A. Palanque, Ousmane...

claim paper

Read More »

104

Voted

SPW
2000
Springer

68views Security Privacy» more SPW 2000»

Making Sense of Specifications: The Formalization of SET

15 years 8 months ago

Download www.ing.unitn.it

Giampaolo Bella, Fabio Massacci, Lawrence C. Pauls...

claim paper

Read More »

106

click to vote

USAB
2007

88views Software Engineering» more USAB 2007»

Using Formal Specification Techniques for Advanced Counseling Systems in Health Care

15 years 5 months ago

Download mitarbeiter.hs-heilbronn.de

Dominikus Herzberg, Nicola Marsden, Corinna Leonha...

claim paper

Read More »

click to vote

INFORMATICASI
2006

65views more INFORMATICASI 2006»

A Formal Framework Supporting the Specification of the Interactions between Agents

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers