Sciweavers

1908 search results - page 151 / 382
» How to teach software modeling
Sort
View
ENTCS
2008
113views more  ENTCS 2008»
14 years 10 months ago
A Model-Based Approach to the Verification and Adaptation of WF/.NET Components
This paper presents an approach which supports verification and model-based adaptation of software compod services implemented using Windows Workflow Foundation (WF). First, we pr...
Javier Cubo, Gwen Salaün, Carlos Canal, Ernes...
ICSE
2004
IEEE-ACM
15 years 10 months ago
Validating the Unit Correctness of Spreadsheet Programs
Financial companies, engineering firms and even scientists create increasingly larger spreadsheets and spreadsheet programs. The creators of large spreadsheets make errors and mus...
Tudor Antoniu, Paul A. Steckler, Shriram Krishnamu...
UIST
2004
ACM
15 years 3 months ago
Citrine: providing intelligent copy-and-paste
We present Citrine, a system that extends the widespread copy-and-paste interaction technique with intelligent transformations, making it useful in more situations. Citrine uses t...
Jeffrey Stylos, Brad A. Myers, Andrew Faulring
SIGCSE
2008
ACM
192views Education» more  SIGCSE 2008»
14 years 10 months ago
Enhancing learning management systems to better support computer science education
Many individual instructors--and, in some cases, entire universities--are gravitating towards the use of comprehensive learning management systems (LMSs), such as Blackboard and M...
Guido Rößling, Mike Joy, Andrés ...
ICECCS
1997
IEEE
114views Hardware» more  ICECCS 1997»
15 years 2 months ago
An approach to integration testing based on architectural descriptions
Software architectures can play a role in improving the testing process of complex systems. In particular, descriptions of the software architecture can be useful to drive integra...
Antonia Bertolino, Paola Inverardi, Henry Muccini,...