2588 search results - page 74 / 518 » Engineering Systems Which Generate Emergent Functionalities |
150
click to vote
ICSE
2007
IEEE-ACM
15 years 10 months ago
2007
IEEE-ACM
Abstract. We describe an approach to designing and implementing a distributed system as a family of related finite state machines, generated from a single abstract model. Various a...
126
click to vote
KBSE
2003
IEEE
15 years 9 months ago
2003
IEEE
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...
113
click to vote
ICSE
2007
IEEE-ACM
16 years 4 months ago
2007
IEEE-ACM
This paper suggests the need for a software engineering research community conversation about the future that the community would like to have. The paper observes that the researc...
134
click to vote
CAISE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Specification of systems in a software product line (product-line members) is often supported by domain-specific languages (DSLs) that provide pownguage abstractions for ...
140
Voted
FLOPS
2010
Springer
15 years 2 months ago
2010
Springer
Injectivity is one of the important properties for functions while it is undecidable in general and decidable for linear treeless functions. In this paper, we show new sufficient c...