760 search results - page 1 / 152 » Modeling the Functionality of Multi-Functional Software Syst... |
ECBS
2007
IEEE
13 years 11 months ago
2007
IEEE
Today, many software-based, reactive systems offer a multitude of functionality. One way to master the development of such a system is to model its functionality on an abstract le...
RE
2010
Springer
12 years 11 months ago
2010
Springer
The impact of non-functional requirements (NFRs) over software systems has been widely documented. Consequently, cost-effective software production method shall provide means to in...
CDC
2008
IEEE
13 years 11 months ago
2008
IEEE
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...
WORDS
2005
IEEE
13 years 10 months ago
2005
IEEE
The increasing complexity of embedded systems calls for software design and implementation techniques that support specialization without abandonment of reusability. This brings u...
SIGSOFT
2010
ACM
13 years 2 months ago
2010
ACM
In this thesis, I will improve the state-of-the-art for capturing, analyzing, and refining functional requirements by providing support for synthesizing, analyzing, and refining M...