Sciweavers

8083 search results - page 399 / 1617
» A Formalization of Software Architecture
Sort
View
APN
2006
Springer
15 years 10 months ago
On the Integration of UML and Petri Nets in Software Development
Abstract. Software performance engineering deals with the consideration of quantitative analysis of the behaviour of software systems from the early development phases in the life ...
Javier Campos, José Merseguer
VAMOS
2010
Springer
15 years 8 months ago
Variability Modelling for Model-Driven Development of Software Product Lines
Model-driven development of software-intensive systems aims at designing systems by stepwise model refinement. In order to create software product lines by model-driven development...
Ina Schaefer
KAIS
2007
95views more  KAIS 2007»
15 years 6 months ago
Handling non-canonical software requirements based on Annotated Predicate Calculus
Eliciting requirements for a proposed system inevitably involves the problem of handling undesirable information about customer’s needs, including inconsistency, vagueness, redun...
Kedian Mu, Zhi Jin, Ruqian Lu, Yan Peng
JILT
2000
109views more  JILT 2000»
15 years 6 months ago
Software Patents Pending?
Recent twin decisions of the European Patent Office's Technical Board of Appeal have shifted its stance on software patents significantly. In this paper, I explore the backgr...
Robin Widdison
ECOOPW
1999
Springer
15 years 11 months ago
Dimensions of Component Based Development
As the properties of components have gradually become clearer, attention has started to turn to the architectural issues which govern their interaction and composition. In this pa...
Colin Atkinson, Thomas Kühne, Christian Bunse