1481 search results - page 272 / 297 » Enriching the Software Development Process by Formal Methods |
103
click to vote
SIGCSE
2010
ACM
15 years 5 months ago
2010
ACM
Inspired by the formal code inspection process commonly used in the software industry, we have been exploring the use of pedagogical code reviews (PCRs), in which a team of three ...
126
click to vote
IUI
2006
ACM
15 years 5 months ago
2006
ACM
Studying the relationship between natural language and affective information as well as assessing the underpinned affective qualities of natural language are becoming crucial for ...
107
click to vote
BMCBI
2007
14 years 12 months ago
2007
Background: Most single stranded RNA (ssRNA) viruses mutate rapidly to generate large number of strains having highly divergent capsid sequences. Accurate strain recognition in un...
JSS
2007
14 years 11 months ago
2007
Designing large software systems out of reusable components has become increasingly popular. Although liberal composition of reusable components saves time and expense, many exper...
101
click to vote
ENTCS
2008
14 years 12 months ago
2008
Object orientation and component-based development have both proven useful for the elaboration of open distributed systems. These paradigms are offered by the Creol language. Creo...