Search Sciweavers | Sciweavers

1823 search results - page 22 / 365

» Formal specification: a roadmap

click to vote

ESAW
2009
Springer

133views Intelligent Agents» more ESAW 2009»

Navigational Web-Interfaces from Formal Tropos Specification

13 years 11 months ago

Download www.cs.uu.nl

Komminist Weldemariam

claim paper

Read More »

click to vote

DFG
2004
Springer

134views Operating System» more DFG 2004»

A Formal Component Concept for the Specification of Industrial Control Systems

13 years 11 months ago

Download www.bbraatz.eu

Abstract. Motivated by the wide acceptance of component based technologies in software development, a component concept for software engineering is applied to modeling in the field...

Benjamin Braatz, Markus Klein, Gunnar Schröte...

claim paper

Read More »

click to vote

EMSOFT
2006
Springer

260views Software Engineering» more EMSOFT 2006»

Towards a formal foundation for domain specific modeling languages

13 years 11 months ago

Download research.microsoft.com

Ethan K. Jackson, Janos Sztipanovits

claim paper

Read More »

click to vote

OOPSLA
2000
Springer

70views Security Privacy» more OOPSLA 2000»

Formal specification of CORBA services: experience and lessons learned

13 years 11 months ago

Download www.cin.ufpe.br

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

claim paper

Read More »

click to vote

SPW
2000
Springer

68views Security Privacy» more SPW 2000»

Making Sense of Specifications: The Formalization of SET

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers