412 search results - page 31 / 83 » RATSY - A New Requirements Analysis Tool with Synthesis |
MM
2005
ACM
14 years 4 months ago
2005
ACM
Music is a very important part of our lives. People enjoy listening to the music, and many of us find a special pleasure in creating the music. Computers further extended many asp...
CODES
2003
IEEE
14 years 4 months ago
2003
IEEE
Boolean logic minimization is traditionally used in logic synthesis tools running on powerful desktop computers. However, logic minimization has recently been proposed for dynamic...
DATE
2010
IEEE
13 years 9 months ago
2010
IEEE
—Model-Based Development (MBD) provides an al level of abstraction, the model, which lets engineers focus on the business aspect of the developed system. MBD permits automatic tr...
FM
2003
Springer
14 years 4 months ago
2003
Springer
Incomplete, inaccurate, ambiguous, and volatile requirements have plagued the software industry since its inception. The convergence of model-based development and formal methods o...
SIAMCO
2002
13 years 10 months ago
2002
A new approach to two-player zero-sum differential games with convex-concave cost function is presented. It employs the tools of convex and variational analysis. A necessary and s...