2599 search results - page 492 / 520 » A Tool for Supporting Feature-Driven Development |
110
click to vote
ISMB
1994
15 years 1 months ago
1994
A new version of the GRAIL system (Uberbacher and Mural, 1991; Mural et al., 1992; Uberbacher et al., 1993), called GRAILII, has recently been developed (Xu et al., 1994). GRAILII...
121
Voted
GG
2008
Springer
15 years 1 months ago
2008
Springer
Graph Languages1 emerged during the seventies from the necessity to process data structures with complex interrelations. Nowadays, various variants of these languages can be found...
ENTCS
2007
15 years 14 days ago
2007
This paper promotes compositional reasoning in the context of safety-critical systems, and demonstrates a safety-oriented component model using an application from the automotive ...
124
click to vote
FMICS
2009
Springer
15 years 7 months ago
2009
Springer
on Abstraction: a Lightweight Approach to Modelling Concurrency. Javier de Dios and Ricardo Peña Certified Implementation on top of the Java Virtual Machine 19:00 Social dinner + ...
153
Voted
BMCBI
2011
14 years 7 months ago
2011
Background: Broad-based collaborations are becoming increasingly common among disease researchers. For example, the Global HIV Enterprise has united cross-disciplinary consortia t...