3765 search results - page 28 / 753 » Formal Methods for Systems Engineering Behavior Models |
SIGSOFT
2010
ACM
13 years 6 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...
FM
2006
Springer
14 years 9 days ago
2006
Springer
HYBRID
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. The problem of synthesizing feedback controllers that perform sensing and actuation actions on non–uniform and uncertain discrete time domains is considered. This class...
ASWEC
2000
IEEE
14 years 1 months ago
2000
IEEE
Formal methods are becoming increasingly important in many areas of software development and should be incorporated in the teaching of software engineering. Requirements capture i...
SEKE
2005
Springer
14 years 2 months ago
2005
Springer
Mobile agents provide an effective and flexible style to develop advanced distributed systems. In order to promote interoperability and ensure the quality of mobile agent systems,...