1968 search results - page 134 / 394 » System Ontology and its role in Software Development |
169
click to vote
SOFTVIS
2005
ACM
16 years 1 days ago
2005
ACM
Software archives contain historical information about the development process of a software system. Using data mining techniques rules can be extracted from these archives. In th...
200
click to vote
ASPLOS
2011
ACM
14 years 10 months ago
2011
ACM
This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E’s use in developing practical tools for comprehensive perfo...
162
click to vote
APSEC
2008
IEEE
15 years 8 months ago
2008
IEEE
Formal verification of Function Block Diagram (FBD) based software is an essential task when replacing traditional relay-based analog system with PLC-based software in nuclear rea...
155
click to vote
MKWI
2008
15 years 8 months ago
2008
: Service-oriented architectures (SOA) are recent architectures enabling interoperable machine-to-machine process interaction by generating a comprehensive view of independent soft...
187
click to vote
FGCS
2006
15 years 6 months ago
2006
CSCL systems can benefit from using grids since they offer a common infrastructure enabling the access to an extended pool of resources that can provide supercomputing capabilitie...