Sciweavers

4438 search results - page 293 / 888
» The Case for Collaborative Programming
Sort
View
FUIN
2006
128views more  FUIN 2006»
15 years 6 months ago
A Rewriting Framework for Rule-Based Programming Dynamic Applications
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...
Anatoly E. Doroshenko, Ruslan Shevchenko
189
Voted
FMCO
2006
Springer
128views Formal Methods» more  FMCO 2006»
15 years 10 months ago
Model-Based Test Selection for Infinite-State Reactive Systems
This paper addresses the problem of off-line selection of test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of re...
Bertrand Jeannet, Thierry Jéron, Vlad Rusu
EUROMICRO
2005
IEEE
16 years 9 days ago
Process Patterns for Software Systems In-house Integration and Merge Experiences from Industry
When an organization faces new types of collaboration, for example after a company merger, there is a need to integrate the existing software. Two main process challenges are how ...
Rikard Land, Ivica Crnkovic, Stig Larsson
IEAAIE
2004
Springer
16 years 1 days ago
Natural Language Requirements Analysis and Class Model Generation Using UCDA
This paper presents a methodology to automate natural language requirements analysis and class model generation based on the Rational Unified Process (RUP). Use-case language schem...
Dong Liu, Kalaivani Subramaniam, Armin Eberlein, B...
DEXAW
2003
IEEE
110views Database» more  DEXAW 2003»
15 years 12 months ago
Methodology and Tools to Support Storytelling in Cultural Heritage Forums
Storytelling is a method by which members of a community communicate, learn and build identity. In the CIPHER project we aim to provide customisable tools for the sharing of stori...
Trevor D. Collins, Paul Mulholland, David Bradbury...