1968 search results - page 185 / 394 » System Ontology and its role in Software Development |
179
click to vote
LCPC
1995
Springer
15 years 10 months ago
1995
Springer
Heterogeneous parallel systems incorporate diverse models of parallelism within a single machine or across machines and are better suited for diverse applications 25, 43, 30]. Thes...
191
click to vote
ICSE
1999
IEEE-ACM
15 years 10 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
184
click to vote
IWPC
2010
IEEE
15 years 5 months ago
2010
IEEE
—Free and open source software (FOSS) is often distributed in binary packages, sometimes part of GNU/Linux operating system distributions, or part of products distributed/sold to...
186
click to vote
TASE
2007
IEEE
16 years 25 days ago
2007
IEEE
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...
185
click to vote
ITICSE
2003
ACM
15 years 11 months ago
2003
ACM
Most large research universities include a software design or software development course as a required or elective component of an undergraduate computer science major. For vario...