Sciweavers

3045 search results - page 457 / 609
» Formal Approaches to Software Architecture
Sort
View
SCESM
2006
ACM
238views Algorithms» more  SCESM 2006»
16 years 17 days ago
Nobody's perfect: interactive synthesis from parametrized real-time scenarios
As technical systems keep growing more complex and sophisticated, designing software for the safety-critical coordination between their components becomes increasingly difficult....
Holger Giese, Stefan Henkler, Martin Hirsch, Flori...
CACM
2005
126views more  CACM 2005»
15 years 6 months ago
Extrovert gadgets
This paper presents a set of architectures for the composition of ubiquitous computing applications. It describes research that is being carried out in "extrovert-Gadgets&quo...
Achilles Kameas, Irene Mavrommati
GECCO
2007
Springer
183views Optimization» more  GECCO 2007»
16 years 23 days ago
Search-based testing of service level agreements
The diffusion of service oriented architectures introduces the need for novel testing approaches. On the one side, testing must be able to identify failures in the functionality ...
Massimiliano Di Penta, Gerardo Canfora, Gianpiero ...
ECBS
2010
IEEE
200views Hardware» more  ECBS 2010»
15 years 4 months ago
Improving Testing of Enterprise Systems by Model-Based Testing on Graphical User Interfaces
Software development and testing of Enterprise Resource Planning (ERP) systems demands dedicated methods to tackle its special features. As manual testing is not able to systematic...
Sebastian Wieczorek, Alin Stefanescu
CORR
2011
Springer
197views Education» more  CORR 2011»
15 years 1 months ago
Business Intelligence for Small and Middle-Sized Entreprises
Data warehouses are the core of decision support systems, which nowadays are used by all kind of enterprises in the entire world. Although many studies have been conducted on the ...
Oksana Grabova, Jérôme Darmont, Jean-...