2748 search results - page 257 / 550 » Generating Object-Z Specifications from Use Cases |
186
Voted
ECMDAFA
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Design patterns are templates of general solutions to commonlyoccurring problems in the analysis and design of software systems. In mature development processes, engineer...
146
click to vote
ICAS
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper addresses the need for designing user interfaces (UIs) to workflow information systems by adopting a model-centric approach. We introduce a conceptual workflow model to...
162
click to vote
ICWS
2010
IEEE
15 years 5 months ago
2010
IEEE
This paper presents a methodology and a set of tools for the modelling, validation and testing of Web service composition, conceived and developed within the French national projec...
135
click to vote
IS
2008
15 years 3 months ago
2008
In this paper, we formalize the digital library (DL) integration problem and propose an overall approach based on the 5S (streams, structures, spaces, scenarios, and societies) fr...
166
click to vote
TIP
2010
14 years 10 months ago
2010
This paper presents a new approach to single-image superresolution, based on sparse signal representation. Research on image statistics suggests that image patches can be wellrepre...