Sciweavers

19587 search results - page 107 / 3918
» Systems Engineering for software Engineers
Sort
View
ICSE
2009
IEEE-ACM
15 years 2 months ago
Engineering adaptive requirements
Challenges in the engineering of self-adaptive software have been recently discussed and summarized in a seminal research road map. Following it, we focus on requirements engineer...
Nauman A. Qureshi, Anna Perini
97
Voted
EMSOFT
2007
Springer
15 years 10 months ago
Existential abstractions for distributed reactive systems via syntactic transformations
Vijay D'Silva, Sampada Sonalkar, S. Ramesh
CBSE
2005
Springer
15 years 10 months ago
A Contracting System for Hierarchical Components
Philippe Collet, Roger Rousseau, Thierry Coupaye, ...
FSTTCS
2005
Springer
15 years 10 months ago
On Sampled Semantics of Timed Systems
Pavel Krcál, Radek Pelánek
97
Voted
SEKE
2005
Springer
15 years 10 months ago
Formal Analysis of Workflow Systems with Security Considerations
Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi