Sciweavers

6348 search results - page 309 / 1270
» A Lesson for Software Engineering from Knowledge Engineering
Sort
View
PEPM
2009
ACM
16 years 1 months ago
From spreadsheets to relational databases and back
Abstract. This paper presents techniques and tools to transform spreadsheets into relational databases and back. A set of data refinement rules is introduced to map a tabular data...
Jácome Cunha, João Saraiva, Joost Vi...
FASE
2009
Springer
15 years 11 months ago
Controller Synthesis from LSC Requirements
Live Sequence Charts (LSCs) is a visual requirements language for specifying reactive system behavior. When modeling and designing open reactive systems, it is often essential to h...
Hillel Kugler, Cory Plock, Amir Pnueli
QSIC
2009
IEEE
15 years 11 months ago
From UML Statecharts to LOTOS: A Semantics Preserving Model Transformation
—A well-founded testing theory encourages the practical application of test case generation techniques. This aims at overcoming the ever increasing complexity of softwareenabled ...
Valentin Chimisliu, Christian Schwarzl, Bernhard P...
AUIC
2006
IEEE
15 years 11 months ago
From pushing buttons to play and progress: value and interaction in fable
A value can be understood as a belief that one mode of conduct is preferable to others. The user-interface of computer games mediates all player conduct in the game and is therefo...
Pippin Barr, James Noble, Robert Biddle, Rilla Kha...
PEPM
1994
ACM
15 years 8 months ago
PERs from Projections for Binding-Time Analysis
First-order projection-based binding-time analysis has proven genuinely useful in partial evaluation Lau91a, Lau91c]. There have been three notable generalisations of projection-b...
Kei Davis