715 search results - page 91 / 143 » Application of Formal Methods to the Development of a Softwa... |
MEMOCODE
2007
IEEE
14 years 3 months ago
2007
IEEE
New to the 2007 MEMOCODE conference is the HW/SW Co-Design Contest. Members of the technical and steering committees from MEMOCODE 2006 thought that the co-design practice is dist...
LION
2010
Springer
14 years 1 months ago
2010
Springer
Abstract This paper proposes a flexible software architecture for interactive multiobjective optimization, with a user interface for visualizing the results and facilitating the s...
SCP
2010
13 years 7 months ago
2010
Feature-Oriented Software Development provides a multitude of formalisms, methods, languages, and tools for building variable, customizable, and extensible software. Along differe...
UIST
1993
ACM
14 years 28 days ago
1993
ACM
Model-based user interface design is centered around a description of application objects and operations at a level of ion higher than that of code. A good model can be used to su...
COOTS
1997
13 years 10 months ago
1997
The boundary between application and system is becoming increasingly permeable. Extensible applications, such as web browsers, database systems, and operating systems, demonstrate...