286 search results - page 47 / 58 » Agile Formality: A Mole of Software Engineering Practices |
183
Voted
B
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
104
click to vote
ATAL
2003
Springer
15 years 5 months ago
2003
Springer
A key question in the field of agent-oriented software engineering is how the kind and extent of autonomy owned by computational agents can be appropriately captured. As long as ...
91
Voted
APSEC
2005
IEEE
15 years 6 months ago
2005
IEEE
In component-based software development, it is important to ensure interoperability between components based on their unambiguous semantic descriptions, in order to obtain a viabl...
210
Voted
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings...
KBSE
1998
IEEE
15 years 4 months ago
1998
IEEE
Most efforts to automate formal verification of communicating systems have centred around finite-state systems (FSSs). However, FSSs are incapable of modelling many practical comm...