4290 search results - page 316 / 858 » Formal Approaches to Teamwork |
222
Voted
DOOD
1997
Springer
15 years 11 months ago
1997
Springer
With the increasing importance of the World Wide Web as an information source, there is a growing interest for integration of Web and database technology. Several Web query languag...
160
click to vote
FM
1997
Springer
15 years 11 months ago
1997
Springer
In this paper an extension of the IFAD VDM-SL Toolbox with a proof obligation generator is described. Static type checking in VDM is undecidable in general and therefore the type c...
183
click to vote
IFL
1997
Springer
15 years 11 months ago
1997
Springer
Functional programs, by nature, operate on functional, or persistent, data structures. Therefore, persistent graphs are a prerequisite to express functional graph algorithms. In th...
223
Voted
AGTIVE
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Domain specific modeling languages are of increasing importance for the development of software and other systems. Meta tools are needed to support rapid development of d...
201
click to vote
COSIT
2007
Springer
15 years 10 months ago
2007
Springer
Consistent and flawless communication between humans and machines is the precondition for a computer to process instructions correctly. While machines use well-defined languages an...