Sciweavers

1641 search results - page 217 / 329
» The Timeboxing process model for iterative software developm...
Sort
View
IFM
2009
Springer
14 years 3 months ago
Verifying UML/OCL Operation Contracts
In current model-driven development approaches, software models are the primary artifacts of the development process. Therefore, assessment of their correctness is a key issue to e...
Jordi Cabot, Robert Clarisó, Daniel Riera
WSC
1997
13 years 10 months ago
MODSIM III - A Tutorial
This tutorial introduces the MODSIM III language, showing how its simulation "world view" together with its object-oriented architecture and built in graphics contribute...
John Goble
APCCM
2008
13 years 10 months ago
A Framework Based Measurements for Evaluating an IS Quality
There is an increasing community of researchers trying to draw attention to the importance of evaluation issues. Some approaches can be followed to evaluate the quality of softwar...
Olfa Lamouchi, Amar Ramdane-Cherif, Nicole L&eacut...
SIGIR
2012
ACM
11 years 11 months ago
A subjunctive exploratory search interface to support media studies researchers
Media studies concerns the study of production, content, and/or reception of various types of media. Today’s continuous production and storage of media is changing the way media...
Marc Bron, Jasmijn van Gorp, Frank Nack, Maarten d...
EMSOFT
2005
Springer
14 years 2 months ago
Using de-optimization to re-optimize code
The nature of embedded systems development places a great deal of importance on meeting strict requirements in areas such as static code size, power consumption, and execution tim...
Stephen Hines, Prasad Kulkarni, David B. Whalley, ...