Sciweavers

3837 search results - page 158 / 768
» Concurrent Engineering support in Software Engineering
Sort
View
MKWI
2008
169views Business» more  MKWI 2008»
15 years 5 months ago
A Portal for Cross-Administrative Acquisition and Specification of Software Requirements
: For the development of software requirements within a team, efficient communication and a systematic approach are necessary. Because of the complexity of the task, the need for s...
Norman Riegel, Holger Branding, Michael Geisser, T...
TACS
1994
Springer
15 years 7 months ago
A Semantic Theory for Concurrent ML
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...
Dominique Bolignano, Mourad Debbabi
CBSE
2009
Springer
15 years 10 months ago
Control Encapsulation: A Calculus for Exogenous Composition of Software Components
Abstract. In current software components models, components do not encapsulate control, and are composed by connection mechanisms which pass control from component to component. Co...
Kung-Kiu Lau, Mario Ornaghi
ICSE
2010
IEEE-ACM
15 years 1 months ago
Synthesized essence: what game jams teach about prototyping of new software products
The development of video games comprises engineering teams within various disciplines, e.g., software engineering, game production, and creative arts. Game jams are a promising ap...
Juergen Musil, Angelika Schweda, Dietmar Winkler, ...
ICSE
2010
IEEE-ACM
15 years 8 months ago
Views: object-inspired concurrency control
We present views, a new approach to controlling concurrency. Fine-grained locking is often necessary to increase concurrency. Correctly implementing fine-grained locking with tod...
Brian Demsky, Patrick Lam