3799 search results - page 427 / 760 » An Engineering Approach to Formal Methods |
170
click to vote
IWPC
2003
IEEE
16 years 18 hour ago
2003
IEEE
A lightweight fact extractor is presented that utilizes XML tools, such as XPath and XSLT, to extract static information from C++ source code programs. The source code is first co...
185
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
One promising approach to more effective software development is the concept of product platform originated from mechanical engineering, aiming at architectural product families i...
198
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
Methods in object-oriented concurrent libraries hide internal synchronization details. However, information hiding may result in clients causing thread safety violations by invoki...
170
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Software projects often rely on third-party libraries made accessible through Application Programming Interfaces (APIs). We have observed many cases where APIs are used in ways ...
172
click to vote
LOGCOM
2007
15 years 6 months ago
2007
Categorisation of objects into classes is currently supported by (at least) two ‘orthogonal’ methods. In logic-based approaches, classifications are defined through ontologi...