2132 search results - page 176 / 427 » Automated software winnowing |
158
Voted
BMCBI
2006
15 years 3 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...
158
Voted
SEKE
2004
Springer
15 years 9 months ago
2004
Springer
The development of class models using the Rational Unified Process (RUP) requires complete, correct and unambiguous use case specification documents. The Use Case Driven Developmen...
123
Voted
KBSE
1998
IEEE
15 years 7 months ago
1998
IEEE
Most efforts to automate formal verification of communicating systems have centred around finite-state systems (FSSs). However, FSSs are incapable of modelling many practical comm...
107
Voted
ICSE
2003
IEEE-ACM
16 years 3 months ago
2003
IEEE-ACM
In a software development group of IBM Retail Store Solutions, we built a non-trivial software system based on a stable standard specification using a disciplined, rigorous unit t...
153
Voted
PRIMA
2009
Springer
15 years 10 months ago
2009
Springer
Gaia is a well-known Agent Oriented Software Engineering (AOSE) methodology. The emerging Model-Driven Engineering (MDE) paradigm encourages software modelers to automate the trans...