811 search results - page 77 / 163 » Integrating Formal Description Techniques |
JLP
2006
14 years 11 months ago
2006
Component-based software engineering needs to be backed by thorough formal concepts and modeling techniques. This paper combines two concepts introduced independently by the two a...
115
click to vote
MEMOCODE
2010
IEEE
14 years 9 months ago
2010
IEEE
A new language, Feldspar, is presented, enabling high-level and platform-independent description of digital signal processing (DSP) algorithms. Feldspar is a pure functional langua...
GW
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We present an collaborative approach towards a detailed understanding of the usage of pointing gestures accompanying referring expressions. This effort is undertaken in t...
IGPL
2008
14 years 12 months ago
2008
A new version of transition logic is presented. It integrates (dynamic) transitions, which change world states, and classical (static) reasoning, restricted in the paper to Horn l...
121
click to vote
ECLIPSE
2005
ACM
15 years 1 months ago
2005
ACM
In this paper we detail the design and implementation of an Eclipse plug-in for an integrated, model-based approach, to the engineering of web service compositions. The plug-in al...