Sciweavers

1136 search results - page 33 / 228
» A Multi-variant Approach to Software Process Modelling
Sort
View
AISS
2010
143views more  AISS 2010»
13 years 5 months ago
Service Oriented Business Modeling To Identify Software Services
Service orientation is one of the solutions for achieving agile enterprises, that helps make an alignment between business and information technology. By the influx of service ori...
Aida Amini Motlagh, Mir Ali Seyyedi
FMICS
2010
Springer
13 years 8 months ago
Correctness of Sensor Network Applications by Software Bounded Model Checking
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
Frank Werner, David Faragó
APSEC
2004
IEEE
13 years 11 months ago
An Approach to Detecting Domain Errors Using Formal Specification-Based Testing
Domain testing, a technique for testing software or portions of software dominated by numerical processing, is intended to detect domain errors that usually arise from incorrect i...
Yuting Chen, Shaoying Liu
PROFES
2005
Springer
14 years 1 months ago
Framework for Integrating Usability Practices into the Software Process
Software development organizations wanting to introduce usability practices into their defined software process have to undertake laborious efforts for that purpose, since, for the...
Xavier Ferré, Natalia Juristo Juzgado, Ana ...
ICSE
2003
IEEE-ACM
14 years 8 months ago
Usage-Centered Design and Software Engineering: Models for Integration
This paper argues for a model-driven framework for integrating human interface engineering with software engineering. The usage-centered design process, a robust and proven proces...
Larry L. Constantine, Robert Biddle, James Noble