Sciweavers

5433 search results - page 507 / 1087
» Tool Support for Traceability-Adaptation
Sort
View
CAISE
2003
Springer
16 years 20 days ago
Are There Requirements for BPS?
A huge amount of effort is consumed in modelling business processes, and then in developing and maintaining tools, documentation, and training courses to support the modelled proce...
Ian F. Alexander
APSEC
2002
IEEE
16 years 13 days ago
The Real World Software Process
The industry-wide demand for rapid development in concert with greater process maturity has seen many software development firms adopt tightly structured iterative processes. Whi...
James M. Hogan, Glenn Smith, Richard Thomas
TPHOL
2002
IEEE
16 years 11 days ago
A Proposal for a Formal OCL Semantics in Isabelle/HOL
Abstract We present a formal semantics as a conservative shallow embedding of the Object Constraint Language (OCL). OCL is currently under development within an open standardizatio...
Achim D. Brucker, Burkhart Wolff
INAP
2001
Springer
15 years 12 months ago
A Framework for the Search And Rescue Domain
We describe the software environment that has been developed for the management and support of planning missions in the SAR domain. We have chosen to develop a configurable environ...
Abraham Rodríguez-Rodríguez, Miguel ...
LSO
2001
Springer
15 years 12 months ago
CORONET-Train: A Methodology for Web-Based Collaborative Learning in Software Organisations
Skills, knowledge, and motivation of the software engineering workforce are essential prerequisites for maturing software development. But lack of human resources has become an obs...
Dietmar Pfahl, Niniek Angkasaputra, Christiane Dif...