3765 search results - page 726 / 753 » Formal Methods for Systems Engineering Behavior Models |
POPL
2008
ACM
14 years 9 months ago
2008
ACM
The C language definition leaves the sizes and layouts of types partially unspecified. When a C program makes assumptions about type layout, its semantics is defined only on platf...
EUROMICRO
2003
IEEE
14 years 1 months ago
2003
IEEE
Recently, several languages for web service composition have emerged (e.g., BPEL4WS and WSCI). The goal of these languages is to glue web services together in a process-oriented w...
ICSE
2012
IEEE-ACM
11 years 11 months ago
2012
IEEE-ACM
—For a large and evolving software system, the project team could receive a large number of bug reports. Locating the source code files that need to be changed in order to fix th...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
In this and the associated article BioBlender: A Software for Intuitive Representation of Surface Properties of Biomolecules [1], we present BioBlender as a complete instrument fo...
ICSE
2003
IEEE-ACM
14 years 8 months ago
2003
IEEE-ACM
The knowledge required to develop complex software has historically existed in programming folklore, the heads of experienced developers, or buried deep in the code. These locatio...