Sciweavers

4469 search results - page 725 / 894
» A Language for Role Specifications
Sort
View
CORR
2004
Springer
115views Education» more  CORR 2004»
15 years 6 months ago
Jartege: a Tool for Random Generation of Unit Tests for Java Classes
This paper presents Jartege, a tool which allows random generation of unit tests for Java classes specified in JML. JML (Java Modeling Language) is a specification language for Ja...
Catherine Oriat

Publication
317views
17 years 4 months ago
A Detailed Analysis of How an Urban Trail System Affects the Travel of Cyclists
Transportation specialists, urban planners, and public health officials have been steadfast in encouraging active modes of transportation over the past decades. Conventional thin...
Kevin J. Krizek, Ahmed El-Geneidy, Kristin Thompso...
GIS
2008
ACM
16 years 7 months ago
Charting new ground: modeling user behavior in interactive geovisualization
Geovisualization has traditionally played a critical role in analysis and decision-making, but recent developments have also brought a revolution in widespread online access to ge...
David C. Wilson, Heather Richter Lipford, Erin Car...
SIGSOFT
2004
ACM
16 years 7 months ago
Merging partial behavioural models
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners have adopted techniques that support increment...
Marsha Chechik, Sebastián Uchitel
ISBI
2008
IEEE
16 years 7 months ago
Integrated profiling of cell surface protein and nuclear marker for discriminant analysis
Cell membrane proteins play an important role in tissue architecture and cell-cell communication. We hypothesize that segmentation and multivariate characterization of the distrib...
Ju Han, Hang Chang, Kumari L. Andarawewa, Paul Yas...