4258 search results - page 371 / 852 » Languages and Interactive Software Development |
168
click to vote
FDL
2005
IEEE
16 years 11 days ago
2005
IEEE
This paper outlines some fundamental concepts for the development of a system design framework based on standard notations and common CASE tools. We describe an environment for HW...
169
click to vote
CC
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. This tool demonstration presents Hob, a system for verifying data structure consistency for programs written in a general-purpose programming language. Our tool enables t...
156
click to vote
SOCO
2005
Springer
16 years 7 days ago
2005
Springer
Compared to other languages, the C++ language offers a less powerful runtime type system, but a very powerful static type system. In AspectC++, this is addressed by an extended joi...
197
click to vote
RV
2007
Springer
16 years 26 days ago
2007
Springer
A significant number of cyber assaults are attempted against open source internet support software written in C, C++, or Java. Examples of these software packages include the Apac...
191
click to vote
HASKELL
2006
ACM
16 years 22 days ago
2006
ACM
We introduce the new, improved version of the Haskell Equational Reasoning Assistant, which consists of an Ajax application for rewriting Haskell fragments in their context, and a...