6197 search results - page 418 / 1240 » Sandbridge Software Tools |
153
click to vote
KBSE
2005
IEEE
16 years 12 days ago
2005
IEEE
The term grammar-based software describes software whose input can be specified by a context-free grammar. This grammar may occur explicitly in the software, in the form of an in...
163
click to vote
SIGADA
2005
Springer
16 years 9 days ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
176
click to vote
EICS
2009
ACM
15 years 11 months ago
2009
ACM
We describe work in progress on tools and infrastructure to support adaptive component-based software for mobile devices— in our case, Apple iPhones. Our high level aim is ‘de...
209
click to vote
SCESM
2006
ACM
16 years 24 days ago
2006
ACM
An important step in the development of large-scale distributed reactive systems is the design of effective system architectures. The early availability of prototypes facilitates...
185
click to vote
ICST
2008
IEEE
16 years 1 months ago
2008
IEEE
–Abstract for conference - preliminary Model-Based Testing: Models for Test Cases Jan Tretmans, Embedded Systems Institute, Eindhoven : Systematic testing of software plays an im...