15 search results - page 1 / 3 » ISpec: Towards Practical and Sound Interface Specifications |
IFM
2000
Springer
13 years 8 months ago
2000
Springer
Abstract. This paper introduces the ISpec approach to interface specification. ISpec supports the development of interface specifications at various levels of formality and detail ...
ICMCS
2006
IEEE
13 years 10 months ago
2006
IEEE
Landscape Architecture projects have many specific requirements such as particular multimedia and geographic data integration and structure, information preview, userfriendly inte...
BCSHCI
2008
13 years 6 months ago
2008
This paper presents an exploratory study exploring the potential of audio recording as a form of sentimental memory capture. Drawing on data from four family households, we spotli...
HICSS
2009
IEEE
13 years 11 months ago
2009
IEEE
Up to now, there has been little academic support for the challenges of IT governance/IT management. As a reaction, various best practice frameworks - like COBIT or CMMI - were de...
AISC
1998
Springer
13 years 9 months ago
1998
Springer
The use of computer algebra is usually considered beneficial for mechanised reasoning in mathematical domains. We present a case study, in the application domain of coding theory, ...