Sciweavers

2430 search results - page 372 / 486
» Tool support for quality-driven development of software arch...
Sort
View
AC
2003
Springer
15 years 6 months ago
InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming
Abstract. We describe InterPlay, a simulation engine coordinator that supports cooperation and interaction of multiple simulation and execution tools, thus helping to scale-up the ...
Dan Barak, David Harel, Rami Marelly
B
2007
Springer
15 years 5 months ago
Automatic Translation from Combined B and CSP Specification to Java Programs
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...
Letu Yang, Michael Poppleton
91
Voted
ERCIMDL
2007
Springer
84views Education» more  ERCIMDL 2007»
15 years 7 months ago
VIRGIL - Providing Institutional Access to a Repository of Access Grid Sessions
This paper describes the VIRGIL (Virtual Meeting Archival) system which was developed to provide a simple, practical, easy-to-use method for recording, indexing and archiving large...
Ron Chernich, Jane Hunter, Alex Davies
SAC
2005
ACM
15 years 7 months ago
Handling run-time updates in distributed applications
The server side of business software systems is commonly implemented today by an ensemble of Java classes distributed over several hosts. In this scenario, it is often necessary, ...
Marco Milazzo, Giuseppe Pappalardo, Emiliano Tramo...
TOOLS
2008
IEEE
15 years 8 months ago
Controlling Accessibility in Agile Projects with the Access Modifier Modifier
Access modifiers like public and private let the programmer control the accessibility of class members. Restricted accessibility supports encapsulation, i.e., the hiding of impleme...
Philipp Bouillon, Eric Großkinsky, Friedrich...