Sciweavers

2832 search results - page 229 / 567
» Flexible Modelling for Requirements Engineering
Sort
View
EMSOFT
2010
Springer
15 years 3 months ago
Components, platforms and possibilities: towards generic automation for MDA
Model-driven architecture (MDA) is a model-based approach for engineering complex software systems. MDA is particularly attractive for designing embedded systems because models ca...
Ethan K. Jackson, Eunsuk Kang, Markus Dahlweid, Di...
HICSS
1997
IEEE
135views Biometrics» more  HICSS 1997»
15 years 10 months ago
Animation for Validation of Business System Specifications
Business System Engineers, responding to changes in the market place, are faced with the challenge of building increasingly complex and varied systems. Formal approaches and model...
V. Lalioti
SIGSOFT
2005
ACM
16 years 7 months ago
Fluent temporal logic for discrete-time event-based models
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...
Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebasti&...
SPLC
2010
15 years 4 months ago
Stratified Analytic Hierarchy Process: Prioritization and Selection of Software Features
Product line engineering allows for the rapid development of variants of a domain specific application by using a common set of reusable assets often known as core assets. Variabil...
Ebrahim Bagheri, Mohsen Asadi, Dragan Gasevic, Sam...
GCSE
2000
Springer
15 years 10 months ago
On to Aspect Persistence
Over the recent years aspect-oriented programming (AOP) has found increasing interest among researchers in software engineering. Aspects are ions which capture and localise cross-c...
Awais Rashid