Sciweavers

8068 search results - page 99 / 1614
» Java Data Objects
Sort
View
WER
2005
Springer
15 years 7 months ago
A Content Analysis Technique for Inconsistency Detection in Software Requirements Documents
This paper presents J-RAn (Java Requirement Analyzer), a tool that implements a novel Content Analysis technique to support the verification of consistency and completeness of a So...
Alessandro Fantechi, Emilio Spinicci
OOPSLA
1992
Springer
15 years 6 months ago
Concurrency Annotations
JAC is a Java extension for high-level concurrent programming, meant to hide the notions of threads and synchronization statements from the programmer. Putting into practice the c...
Klaus-Peter Löhr
SEMWEB
2001
Springer
15 years 6 months ago
RDF Models for Dynamic Syndication and Wireless Applications
Machine-understandable metadata is providing the foundation for next-generationframeworks that enable automated construction ofserver-side Java applications. Suchapplications are ...
Leon A. Shklar
TSE
2010
180views more  TSE 2010»
15 years 15 days ago
Aspect-Oriented Race Detection in Java
—In the past, researchers have developed specialized programs to aid programmers in detecting concurrent programming errors such as deadlocks, livelocks, starvation, and data rac...
Eric Bodden, Klaus Havelund
SCP
2002
119views more  SCP 2002»
15 years 1 months ago
Polymorphic subtyping in O'Haskell
O'Haskell is a programming language derived from Haskell by the addition of concurrent reactive objects and subtyping. Because Haskell already encompasses an advanced type sy...
Johan Nordlander