Sciweavers

6079 search results - page 389 / 1216
» Aspect-Oriented Process Engineering
Sort
View
TASE
2009
IEEE
16 years 1 months ago
State Visibility and Communication in Unifying Theories of Programming
We explore the interactions between programvariable state visibility and communication behaviour in state-rich CSP-like processes, using the Unifying Theories of Programming (UTP)...
Andrew Butterfield, Pawel Gancarski, Jim Woodcock
XPU
2009
Springer
16 years 1 months ago
Is ISO/IEC 15504 Applicable to Agile Methods?
In the last two decades several models for evaluating software process capability have been defined and became more and more popular. The application of such models, and in particu...
Giuseppe Lami, Fabio Falcini
FSEN
2009
Springer
16 years 1 months ago
Automated Translation and Analysis of a ToolBus Script for Auctions
Abstract. ToolBus allows to connect tools via a software bus. Programming is done using the scripting language Tscript, which is based on the process algebra ACP. In previous work ...
Wan Fokkink, Paul Klint, Bert Lisser, Yaroslav S. ...
AGILEDC
2007
IEEE
16 years 1 months ago
ISO 9001 and Agile Development
Conventional thinking would conclude that agile and ISO must not be compatible. After all, ISO is often characterized as being heavy on process / heavy on documentation – the op...
Bill McMichael, Marc Lombardi
ICSEA
2006
IEEE
16 years 23 days ago
Extracting Simulation Models from Complex Embedded Real-Time Systems
A modeling process is presented for extracting timingaccurate simulation models from complex embedded realtime systems. The process is supported by two complementary methods for t...
Johan Andersson, Joel Huselius, Christer Norstr&ou...