Sciweavers

2835 search results - page 320 / 567
» Imperfect Requirements in Software Development
Sort
View
ENTCS
2006
213views more  ENTCS 2006»
15 years 6 months ago
Building Components from Functions
In the domain of embedded software systems the increasing complexity of the functionality as well as the increase in variations caused by product lines requires a modular design p...
Bernhard Schäz
CN
2007
111views more  CN 2007»
15 years 6 months ago
Advances in smart cards
Since the turn of the century, smart card technology has pushed its borders both on the high end to integrate new functionalities (e.g., networking) and on the low end to adapt to...
Josep Domingo-Ferrer, Joachim Posegga, Francesc Se...
SAC
2008
ACM
15 years 6 months ago
The QoS-MO ontology for semantic QoS modeling
This paper presents the QoS-MO ontology. This ontology enables the specification of QoS requirements for Semantic Web Services and can easily be combined with OWL-S in order to fu...
Gustavo Fortes Tondello, Frank Siqueira
FM
2009
Springer
153views Formal Methods» more  FM 2009»
15 years 4 months ago
Iterative Refinement of Reverse-Engineered Models by Model-Based Testing
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
Neil Walkinshaw, John Derrick, Qiang Guo
XPU
2007
Springer
16 years 19 days ago
Empirical Evidence Principle and Joint Engagement Practice to Introduce XP
Bringing software process change to an organisation is a real challenge. The authors have shown a sample attempt to carry out a process change and then reflected on its results and...
Lech Madeyski, Wojciech Biela