1954 search results - page 222 / 391 » Improving Software Development Processes with Multicriteria ... |
89
Voted
SAC
2009
ACM
15 years 9 months ago
2009
ACM
In the Design By Contract (DBC) approach, programmers specify methods with pre and postconditions (also called contracts). Earlier work added protocols to the DBC approach to desc...
148
Voted
FASE
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
132
Voted
IUSED
2008
15 years 4 months ago
2008
Usability supporting architectural patterns (USAPs) have been shown to provide developers with useful guidance for producing a software architecture design that supports usability...
118
Voted
UML
2005
Springer
15 years 8 months ago
2005
Springer
The recent trend in software engineering to model-centered methodologies is an excellent opportunity for OCL to become a widely used specification language. If the focus of the de...
130
Voted
ICIP
2006
IEEE
16 years 4 months ago
2006
IEEE
Many recently proposed perceptual image quality assessment algorithms are implemented in two stages. In the first stage, image quality is evaluated within local regions. This resu...