4799 search results - page 723 / 960 » Model Based Requirements Engineering for Embedded Software |
171
click to vote
CBSE
2008
Springer
15 years 8 months ago
2008
Springer
Systems are increasingly expected to adapt themselves to changing requirements and environmental situations with minimum user interactions. A challenge for self-adaptation is the i...
171
click to vote
RE
2006
Springer
15 years 6 months ago
2006
Springer
Scenarios and goals are effective techniques for requirements definition. Goals are objectives that a system has to meet. They are elaborated into a structure that decomposes decla...
186
click to vote
BIRTHDAY
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. This paper combines three topics to which Amir Pnueli contributed significantly: the semantics of languages for concurrency, the semantics of statecharts, and reactive an...
181
click to vote
CODES
2009
IEEE
15 years 10 months ago
2009
IEEE
Field-Programmable Gate Arrays (FPGAs) have become promising mapping fabric for the implementation of System-on-Chip (SoC) platforms, due to their large capacity and their enhance...
163
click to vote
ICSM
2009
IEEE
16 years 1 months ago
2009
IEEE
Code cloning is widely recognized as a threat to the maintainability of source code. As such, many clone detection and removal strategies have been proposed. However, some clones ...