Sciweavers

426 search results - page 61 / 86
» E-AoSAS and its Software Development Environment
Sort
View
IASTEDSEA
2004
13 years 10 months ago
An empirical investigation for different sequences of pedagogical framework documentation in RAD
Frameworks are increasingly employed as a useful way to enable object-oriented reuse. However, their size and complexity make understanding how to use them difficult. Previous wor...
Sin Ban Ho, Ian Chai, Chuie Hong Tan
AGILEDC
2006
IEEE
14 years 2 months ago
Refactoring with Contracts
Design by contract is a practical methodology for developing code together with its specification. The contract consists of class invariants and method preand postconditions. As ...
Maayan Goldstein, Yishai A. Feldman, Shmuel S. Tys...
ACMICEC
2004
ACM
205views ECommerce» more  ACMICEC 2004»
14 years 1 months ago
M-Modeler: a framework implementation for modeling m-commerce applications
At the present time, the use of mobile technology in business, is becoming an opportunity to generate competitive advantages within organization environments. Mobile technology he...
Ana Hilda Morales-Aranda, Oscar Mayora-Ibarra, San...
IUI
2004
ACM
14 years 1 months ago
Flexible interface migration
The goal of this work is to provide users immersed in a multi-platform environment with the possibility of interacting with an application while freely moving from one device to a...
Renata Bandelloni, Fabio Paternò
KBSE
2000
IEEE
14 years 26 days ago
Model Checking Programs
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
Willem Visser, Klaus Havelund, Guillaume P. Brat, ...