6197 search results - page 205 / 1240 » Sandbridge Software Tools |
MODELS
2010
Springer
13 years 8 months ago
2010
Springer
This paper describes a novel approach to embedded software development. Instead of using a combination of C code and modeling tools, we propose an approach where modeling and progr...
FIW
2009
13 years 7 months ago
2009
A significant number of failures in e-voting systems have arisen because of poorly specified requirements, combined with an ad-hoc approach to engineering multiple variations of si...
CSMR
2011
IEEE
13 years 1 months ago
2011
IEEE
Abstract—Developers introduce novel and undocumented micro-architectures when performing evolution tasks on object-oriented applications. We are interested in understanding wheth...
FM
1999
Springer
14 years 2 months ago
1999
Springer
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...
GCSE
1999
Springer
14 years 1 months ago
1999
Springer
Abstract. A well-known problem in program generation is scoping. When identifiers (i.e., symbolic names) are used to refer to variables, types, or functions, program generators mu...