Sciweavers

5547 search results - page 333 / 1110
» Software Variability Management
Sort
View
SPAA
2010
ACM
15 years 11 months ago
Lightweight, robust adaptivity for software transactional memory
When a program uses Software Transactional Memory (STM) to synchronize accesses to shared memory, the performance often depends on which STM implementation is used. Implementation...
Michael F. Spear
CAISE
1997
Springer
15 years 10 months ago
OO-METHOD: An OO Software Production Environment Combining Conventional and Formal Methods
OO-Method is an OO Methodology that blends the use of formal specification systems with conventional OO methodologies based on practice. In contrast to other approaches in this fi...
Oscar Pastor, Emilio Insfrán, Vicente Pelec...
ASWSD
2006
Springer
15 years 10 months ago
TestML - A Test Exchange Language for Model-Based Testing of Embedded Software
Abstract. Test processes in the automotive industry are tool-intensive and affected by technologically heterogeneous test infrastructures. In the industrial practice a product has ...
Juergen Grossmann, Ines Fey, Alexander Krupp, Mirk...
CAISE
2006
Springer
15 years 10 months ago
Classification and Ontological Aspects in Software Engineering
The organization of objects into classes and categories is an essential task in the process of forming concepts. Within computer science, this classification activity must be suppo...
María del Pilar Romay, Carlos E. Cuesta
CAISE
2008
Springer
15 years 8 months ago
Concern-Sensitive Navigation: Improving Navigation in Web Software through Separation of Concerns
Abstract. Traditionally, the use of good techniques to improve software modularity, such as advanced separation of concerns, has no impact in the user experience, for example while...
Jocelyne Nanard, Gustavo Rossi, Marc Nanard, Silvi...