2599 search results - page 279 / 520 » A Tool for Supporting Feature-Driven Development |
167
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. UnifyingTheoriesofProgramming(UTP)canprovideaformalsemantic foundation not only for programming languages but also for more expressive specification languages. We believ...
131
click to vote
ICFP
1999
ACM
15 years 10 months ago
1999
ACM
The increasing popularity of component-based programming tools offer a big opportunity to designers of advanced programming languages, such as Haskell. If we can package our progr...
147
click to vote
CAISE
1999
Springer
15 years 10 months ago
1999
Springer
In this paper, we describe the process specification language ConGolog and show how it can be used to model business processes for requirements analysis. In ConGolog, the effects...
200
click to vote
DEXAW
1998
IEEE
15 years 10 months ago
1998
IEEE
In this paper we consider e-mail as a task management tool. Our general goal is to restructure the domain of e-mail. The purpose is to make e-mail even more suitable for messageba...
167
click to vote
ICTAI
1996
IEEE
15 years 10 months ago
1996
IEEE
The goal of this work is to derive four-voice music pieces from given musical plans, which describe the harmonic flow and the intentions of a desired composition. We developed the...