Sciweavers

5414 search results - page 308 / 1083
» Exploratory Model Building
Sort
View
ICSE
2007
IEEE-ACM
16 years 26 days ago
Assessing Changeability by Investigating the Propagation of Change Types
We propose an approach to build a changeability assessment model for source code entities. Based on this model, we will assess the changeability of evolving software systems. The ...
Beat Fluri
AH
2006
Springer
16 years 21 days ago
Assessment of Motivation in Online Learning Environments
This research outline refers to the assessment of motivation in online learning environments. It includes a presentation of previous approaches, most of them based on Keller’s AR...
Mihaela Cocea
CAISE
2005
Springer
16 years 8 days ago
Constructing domain-specific design tools with a visual language meta-tool
Collaborative, visual design tools are typically difficult to build and evolve. We describe a meta tool for specification and generation of multiple view, multiple user visual desi...
Nianping Zhu, John C. Grundy, John G. Hosking
IFM
2004
Springer
116views Formal Methods» more  IFM 2004»
16 years 2 days ago
Formalising Behaviour Trees with CSP
Abstract. Behaviour Trees is a novel approach for requirements engineering. It advocates a graphical tree notation that is easy to use and to understand. Individual requirements ar...
Kirsten Winter
LICS
2003
IEEE
15 years 12 months ago
About Translations of Classical Logic into Polarized Linear Logic
We show that the decomposition of Intuitionistic Logic into Linear Logic along the equation ´ may be adapted into a decomposition of classical logic into LLP, the polarized versi...
Olivier Laurent, Laurent Regnier