3799 search results - page 23 / 760 » An Engineering Approach to Formal Methods |
EMSOFT
2004
Springer
14 years 1 months ago
2004
Springer
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...
JUCS
2007
13 years 7 months ago
2007
: This paper outlines the emergence of formal techniques, explaining why they were slow to take on an industrially acceptable form. The contemporary scene, in which formal techniqu...
SAC
2005
ACM
14 years 1 months ago
2005
ACM
This paper discusses whether method construction can serve as a core approach to organizational engineering. Based on a discussion of fundamental scientific positions in general a...
CAISE
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Probably one of the most difficult tasks in the development of a Service Oriented Architecture (SOA) is how to obtain well designed Web Services. In this work, we present...
ICWE
2007
Springer
14 years 1 months ago
2007
Springer
Current model-driven Web Engineering approaches (such as OO-H, UWE or WebML) provide a set of methods and supporting tools for a systematic design and development of Web applicatio...