1401 search results - page 144 / 281 » Tool Integration for Reasoned Programming |
113
Voted
SOUPS
2009
ACM
15 years 9 months ago
2009
ACM
For privacy reasons, sensitive content may be revised before it is released. The revision often consists of redaction, that is, the “blacking out” of sensitive words and phras...
143
click to vote
UM
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. In this paper we describe an Integrated Development System for Instructional Model for E-learning (INDESIME) to create and to maintain instructional models using adaptive...
111
click to vote
SCAM
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper argues that semantic information encoded in natural language identifiers is a largely neglected resource for program analysis. First we show that words in Java class n...
133
Voted
JSS
2007
15 years 2 months ago
2007
Research into design rationale in the past has focused on argumentation-based design deliberations. These approaches cannot be used to support change impact analysis effectively ...
138
Voted
IEEEHPCS
2010
15 years 1 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...