Sciweavers

773 search results - page 94 / 155
» Report on a Practical Application of ASMs in Software Design
Sort
View
CANDT
2009
14 years 21 days ago
wConnect: a facebook-based developmental learning community to support women in information technology
The under-representation of women in computer and information science (CIS) has created a crisis in availability of qualified CIS professionals and diversity of perspectives. Many...
Mary Beth Rosson, John M. Carroll, Dejin Zhao, Tim...
FAC
2007
170views more  FAC 2007»
13 years 8 months ago
Are the Logical Foundations of Verifying Compiler Prototypes Matching user Expectations?
Abstract. The Verifying Compiler (VC) project proposals suggest that mainstream software developers are its targeted end-users. Like other software engineering efforts, the VC proj...
Patrice Chalin
JCDL
2003
ACM
136views Education» more  JCDL 2003»
14 years 2 months ago
The OAI-PMH Static Repository and Static Repository Gateway
Although the OAI-PMH specification is focused on making it straightforward for data providers to expose metadata, practice shows that in certain significant situations deployment ...
Patrick Hochstenbach, Henry N. Jerez, Herbert Van ...
ISSRE
2000
IEEE
14 years 1 months ago
Can Intuition Become Rigorous? Foundations for UML Model Verification Tools
The Unified Modeling Language, UML, is the objectoriented notation adopted as the standard for objectoriented Analysis and Design by the Object Management Group. This paper report...
José Luis Fernández Alemán, J...
TSE
2010
140views more  TSE 2010»
13 years 7 months ago
Learning a Metric for Code Readability
—In this paper, we explore the concept of code readability and investigate its relation to software quality. With data collected from 120 human annotators, we derive associations...
Raymond P. L. Buse, Westley Weimer