523 search results - page 21 / 105 » Embedded Software Development with Projectional Language Wor... |
124
Voted
ISOLA
2010
Springer
14 years 11 months ago
2010
Springer
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...
140
click to vote
ANLP
1997
15 years 3 months ago
1997
We classify and review current approaches to software infrastructure for research, development and delivery of NLP systems. The task is motivated by a discussion of current trends...
127
click to vote
SAFECOMP
2005
Springer
15 years 7 months ago
2005
Springer
In the telecommunications sector product development must minimise time to market while delivering high levels of dependability, availability, maintainability and scalability. High...
122
Voted
CODES
2006
IEEE
15 years 3 months ago
2006
IEEE
The lack of memory safety in many popular programming languages, including C and C++, has been a cause for great concern in the realm of software reliability, verification, and mo...
105
Voted
WORDS
2002
IEEE
15 years 6 months ago
2002
IEEE
Rather recently object-oriented modeling languages, tools, and methods attract the interest of embedded (realtime) system developers. This is especially true if embedded (real-tim...