Sciweavers

2216 search results - page 325 / 444
» Integration of Usability Techniques into the Software Develo...
Sort
View
ENTCS
2008
140views more  ENTCS 2008»
14 years 10 months ago
Linking Event-B and Concurrent Object-Oriented Programs
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...
Andrew Edmunds, Michael Butler
86
Voted
JSS
2010
120views more  JSS 2010»
14 years 8 months ago
An evaluation of timed scenario notations
There is a general consensus on the importance of good Requirements Engineering (RE) for achieving high quality software. The modeling and analysis of requirements have been the m...
Jameleddine Hassine, Juergen Rilling, Rachida Dsso...
103
Voted
SIGSOFT
2003
ACM
15 years 3 months ago
Modeling and validation of service-oriented architectures: application vs. style
Most applications developed today rely on a given middleware platform which governs the interaction between components, the access to resources, etc. To decide, which platform is ...
Luciano Baresi, Reiko Heckel, Sebastian Thöne...
HICSS
2005
IEEE
156views Biometrics» more  HICSS 2005»
15 years 3 months ago
Insights in Implementing Collaboration Engineering
Collaboration Engineering is an emerging discipline to design and deploy collaboration processes and technologies for repeatable tasks performed by groups. This paper documents th...
Robert J. Harder, Jean M. Keeter, Bryan W. Woodcoc...
SPIESR
1996
126views Database» more  SPIESR 1996»
14 years 11 months ago
Tools for Compressed-Domain Video Indexing and Editing
Indexing and editing digital video directly in the compressed domain offer many advantages in terms of storage efficiency and processing speed. We have designed automatic tools in...
Jianhao Meng, Shih-Fu Chang