49 search results - page 7 / 10 » The GTO Toolset and Method |
108
click to vote
CG
2007
Springer
14 years 9 months ago
2007
Springer
In this article we describe an ongoing effort to integrate information visualization techniques into the process of configuration management for software systems. Our focus is to...
74
Voted
SBMF
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Event-B is a formal method used for specifying and reasoning about systems. Rodin is a toolset for developing system models in Event-B. Our experiment which is outlined i...
70
Voted
ASE
2008
14 years 9 months ago
2008
Goal-oriented methods are increasingly popular for elaborating software requirements. They offer systematic support for incrementally building intentional, structural, and operati...
SPLC
2010
14 years 11 months ago
2010
This paper proposes a new style of product line engineering methods. It focuses on constructing embedded systems that take into account the contexts such as the external physical ...
ISPASS
2010
IEEE
15 years 4 months ago
2010
IEEE
—Until recently, most high-end scientific applications have been immune to performance problems caused by NonUniform Memory Access (NUMA). However, current trends in micro-proces...