4258 search results - page 371 / 852 » Languages and Interactive Software Development |
157
click to vote
FDL
2005
IEEE
15 years 12 months 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...
159
click to vote
CC
2005
Springer
15 years 12 months 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...
142
click to vote
SOCO
2005
Springer
15 years 12 months 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...
187
click to vote
RV
2007
Springer
16 years 14 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...
183
click to vote
HASKELL
2006
ACM
16 years 10 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...