Sciweavers

4258 search results - page 454 / 852
» Languages and Interactive Software Development
Sort
View
ICSE
1999
IEEE-ACM
15 years 9 months ago
An Initial Assessment of Aspect-Oriented Programming
The principle of separation of concerns has long been used by software engineers to manage the complexity of software system development. Programming languages help software engin...
Robert J. Walker, Elisa L. A. Baniassad, Gail C. M...
SAC
2010
ACM
15 years 5 months ago
Graph-based verification of static program constraints
Software artifacts usually have static program constraints and these constraints should be satisfied in each reuse. In addition to this, the developers are also required to satisf...
Selim Ciraci, Pim van den Broek, Mehmet Aksit
CBSE
2009
Springer
15 years 11 months ago
Integrating Functional and Architectural Views of Reactive Systems
An integrated model-based development approach has to capture the relationship between requirements, design, and implementation models. In the requirements engineering phase, the m...
Jewgenij Botaschanjan, Alexander Harhurin
SEFM
2008
IEEE
15 years 11 months ago
Modelling Rational User Behaviour as Games between an Angel and a Demon
Formal models of rational user behaviour are essential for user-centred reasoning about interactive systems. At an level, planned behaviour and reactive behaviour are two importan...
Rimvydas Ruksenas, Paul Curzon, Ann Blandford
123
Voted
CHI
1993
ACM
15 years 9 months ago
Reducing the variability of programmers' performance through explained examples
A software tool called EXPLAINER has been developed for helping programmers perform new tasks by exploring previously worked-out examples. EXPLAINER is based on cognitive principl...
David F. Redmiles