1445 search results - page 168 / 289 » Tool Integration in Software Engineering Environments |
SIGCSE
2005
ACM
14 years 3 months ago
2005
ACM
Professional software developers use version control systems to coordinate their work, and to provide an unwindable history of their project’s evolution. In contrast, students i...
B
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
SCOPES
2005
Springer
14 years 3 months ago
2005
Springer
Software used in embedded systems is subject to strict timing and space constraints. The growing software complexity creates an urgent need for fast program execution under the co...
ISESE
2006
IEEE
14 years 4 months ago
2006
IEEE
Spreadsheets are one of the most commonly used types of programs in the world, and it is important that they be sufficiently dependable. To help end users who create spreadsheets ...
ICSE
2011
IEEE-ACM
13 years 1 months ago
2011
IEEE-ACM
We present a unified environment for running declarative specifications in the context of an imperative object-oriented programming language. Specifications are Alloy-like, wri...