3837 search results - page 59 / 768 » Concurrent Engineering support in Software Engineering |
192
click to vote
ESEC
1999
Springer
15 years 7 months ago
1999
Springer
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...
103
click to vote
APSEC
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...
126
click to vote
ICSE
2010
IEEE-ACM
15 years 7 months ago
2010
IEEE-ACM
Concurrency is inherent in today’s software. Unexpected interactions between concurrently executing threads often cause subtle bugs in concurrent programs. Such bugs are hard to...
126
click to vote
AC
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. A mathematical semantics is proposed for the notion of architectural connector, in the style defined by Allen and Garlan, that builds on Goguen’s categorical approach t...
114
click to vote
ICSE
1997
IEEE-ACM
15 years 7 months ago
1997
IEEE-ACM
As software projects evolve, possibly differing in size, complexity, scope, and purpose, the development processes that support the project must evolve to reflect these changes. T...