49 search results - page 1 / 10 » The GTO Toolset and Method |
ENTCS
2007
13 years 4 months ago
2007
BIBM
2010
IEEE
13 years 2 months ago
2010
IEEE
Being able to reproduce experiments is the cornerstone of the scientific method. Software experiments are hard to reproduce even if identical hardware is available because externa...
ISOLA
2010
Springer
13 years 2 months ago
2010
Springer
Abstract. The complexity of today's embedded systems and their development trajectories requires a systematic, model-driven design approach, supported by tooling wherever poss...
STTT
2010
13 years 3 months ago
2010
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
NAR
2007
13 years 4 months ago
2007
g:Profiler (http://biit.cs.ut.ee/gprofiler/) is a public web server for characterising and manipulating gene lists resulting from mining high-throughput genomic data. g:Profiler h...