715 search results - page 91 / 143 » Application of Formal Methods to the Development of a Softwa... |
146
click to vote
MEMOCODE
2007
IEEE
15 years 12 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...
174
Voted
LION
2010
Springer
15 years 10 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...
173
click to vote
SCP
2010
15 years 4 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...
186
click to vote
UIST
1993
ACM
15 years 9 months 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...
171
click to vote
COOTS
1997
15 years 7 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...