Sciweavers

1522 search results - page 31 / 305
» Practical Exception Specifications
Sort
View
JUCS
2008
118views more  JUCS 2008»
15 years 1 months ago
Model-Based and Prototyping-Driven User Interface Specification to Support Collaboration and Creativity
: When the user interface is specified, a picture is worth a thousand words, and the worst thing one can do is write a natural-language specification for it. Because this practice ...
Thomas Memmel, Harald Reiterer
SIGSOFT
2009
ACM
16 years 2 months ago
Synthesizing partial component-level behavior models from system specifications
Initial system specifications, such as use-case scenarios and properties, only partially specify the future system. We posit that synthesizing partial component-level behavior mod...
Ivo Krka, Yuriy Brun, George Edwards, Nenad Medvid...
APWEB
2005
Springer
15 years 7 months ago
PODWIS: A Personalized Tool for Ontology Development in Domain Specific Web Information System
Complex structure and varying requirements increase the difficulties in developing domain specific Web Information Systems. People appeal to a smart tool to customize Web Informati...
Lv-an Tang, Hongyan Li, Zhiyong Pan, Shaohua Tan, ...
ISORC
1998
IEEE
15 years 5 months ago
Compositional Specification and Structured Verification of Hybrid Systems in cTLA
Many modern chemical plants have to be modelled as complex hybrid systems consisting of various continuous and event-discrete components. Besides of the modular and easy-to-read s...
Peter Herrmann, Günter Graw, Heiko Krumm
BMCBI
2008
95views more  BMCBI 2008»
15 years 1 months ago
Methodology capture: discriminating between the "best" and the rest of community practice
Background: The methodologies we use both enable and help define our research. However, as experimental complexity has increased the choice of appropriate methodologies has become...
James M. Eales, John W. Pinney, Robert D. Stevens,...