Sciweavers

3837 search results - page 91 / 768
» Concurrent Engineering support in Software Engineering
Sort
View
FASE
1999
Springer
15 years 7 months ago
JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems
JTN is a formal graphic notation for Java-targeted design speci cations, that are speci cations of systems that will be implemented using Java. JTN is aimed to be a part of a more ...
Eva Coscia, Gianna Reggio
FSTTCS
2006
Springer
15 years 6 months ago
Game Semantics for Higher-Order Concurrency
Abstract. We describe a denotational (game) semantics for a call-byvalue functional language with multiple threads of control, which may communicate values of general type on local...
James Laird
CSMR
1997
IEEE
15 years 7 months ago
Incremental Redocumentation with Hypertext
Redocumentation is the recovery and recording of software comprehension. Since software comprehension is the most expensive part of software maintenance, redocumentation is the ke...
Vaclav Rajlich
AUIC
2002
IEEE
15 years 8 months ago
In Support of User Interface Design in the Rational Unified Process
The Rational Unified Process (RUP) is a use case driven iterative software engineering process User Interface design within the RUP involves user interface modelling and user inte...
Chris Phillips, Elizabeth A. Kemp
ICSE
2000
IEEE-ACM
15 years 6 months ago
Supporting dynamic composition of components
The Internet creates new opportunities for component distribution. Infrastructure for dynamic, Web-based composition of software components appears to be a very impelling need. Th...
Giancarlo Succi, Raymond Wong, Eric Liu, Michael R...