523 search results - page 21 / 105 » Embedded Software Development with Projectional Language Wor... |
134
Voted
ISOLA
2010
Springer
15 years 10 days 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...
142
Voted
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...
132
Voted
SAFECOMP
2005
Springer
15 years 8 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...
128
click to vote
CODES
2006
IEEE
15 years 4 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...
109
click to vote
WORDS
2002
IEEE
15 years 7 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...