185 search results - page 17 / 37 » SOFL: A Formal Engineering Methodology for Industrial Applic... |
BCSHCI
2007
15 years 1 months ago
2007
The use of formal models for user interface design can provide a number of benefits. It can help to ensure consistency across designs for multiple platforms, prove properties such...
ER
1998
Springer
15 years 3 months ago
1998
Springer
The development of Internet commercial applications and corporate Intranets around the world, which uses Java as the de facto standard language, is a significant topic in modern S...
ATAL
2005
Springer
15 years 5 months ago
2005
Springer
The goal of engineering self-organising emergent systems is to acquire a macroscopic system behaviour solely from autonomous local activity and interaction. Due to the non-determin...
118
click to vote
ICPW
2007
15 years 1 months ago
2007
The key objective of communal knowledge sharing at the scale of the World Wide Web is the ability to collaborate and integrate within and between communities. Ontologies, being fo...
102
click to vote
ASWEC
2009
IEEE
15 years 6 months ago
2009
IEEE
We propose a novel methodology for analysing change propagation in software using the domain-level behavioural model of a system. We hypothesize that change propagation analysis i...