1573 search results - page 36 / 315 » Picture Programming Project |
IASSE
2004
14 years 11 months ago
2004
Bosco is a code generation tool, which goal is to accept any MOF model as parameter and follow the evolution of OMG standards. It generates the underlying model (also called repos...
97
Voted
CNL
2009
14 years 11 months ago
2009
Abstract. This paper discusses the semi-formal language of mathematics and presents the Naproche CNL, a controlled natural language for mathematical authoring. Proof Representation...
82
Voted
TOOLS
2008
IEEE
15 years 4 months ago
2008
IEEE
Access modifiers like public and private let the programmer control the accessibility of class members. Restricted accessibility supports encapsulation, i.e., the hiding of impleme...
59
Voted
ISSRE
2005
IEEE
15 years 3 months ago
2005
IEEE
Although N-version programming has been employed in some mission-critical applications, the reliability and fault correlation issues remain a debatable topic in the research commu...
ICFP
2010
ACM
14 years 11 months ago
2010
ACM
We present a case-study of using OCaml within a large product development project, focussing on both the technical and nontechnical issues that arose as a result. We draw comparis...