68 search results - page 7 / 14 » Programming Environment Specified for Interprocessor Communi... |
189
click to vote
ESEC
1999
Springer
15 years 6 months ago
1999
Springer
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...
170
click to vote
CG
2005
Springer
15 years 2 months ago
2005
Springer
OpenGL is the industry-leading, cross-platform graphics application programming interface (API), and the only major API with support for virtually all operating systems. Many lang...
121
click to vote
KBSE
1994
IEEE
15 years 6 months ago
1994
IEEE
This paper describes a formal approach to domain-oriented software design environments, based on declarative domain theories, formal specifications, and deductive program synthesi...
125
click to vote
KBSE
2007
IEEE
15 years 8 months ago
2007
IEEE
Flexibility and interoperability make web services well suited for designing highly-customizable reactive service-based applications, that is interactive applications that can be ...
171
click to vote
FATES
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. More and more software systems use a browser as the universal graphical user interface. As a consequence these applications inherit browser navigation as part of their in...