1401 search results - page 275 / 281 » Tool Integration for Reasoned Programming |
CGO
2009
IEEE
13 years 11 months ago
2009
IEEE
Message passing is a very popular style of parallel programming, used in a wide variety of applications and supported by many APIs, such as BSD sockets, MPI and PVM. Its importance...
TAOSD
2010
13 years 5 months ago
2010
Abstract. Aspect Oriented Modeling (AOM) techniques facilitate separate modeling of concerns and allow for a more flexible composition of these than traditional modeling technique...
BMCBI
2006
13 years 7 months ago
2006
Background: We recently developed the Paired End diTag (PET) strategy for efficient characterization of mammalian transcriptomes and genomes. The paired end nature of short PET se...
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
Test-driven software development tackles the problem of operationally defining the features to be implemented by means of test cases. This approach was recently ported to the earl...
WWW
2004
ACM
14 years 8 months ago
2004
ACM
XML messaging is at the heart of Web services, providing the flexibility required for their deployment, composition, and maintenance. Yet, current approaches to Web services devel...