611 search results - page 10 / 123 » A Formal Contract Language for Plugin-based Software Enginee... |
SIGSOFT
2010
ACM
14 years 7 months ago
2010
ACM
Like programs, programming languages are not only mathematical objects but also software engineering artifacts. Describing the semantics of real-world languages can help bring lan...
ISSE
2010
2010
An approach to applying SOFL for agile process and its application in developing a test support tool
14 years 8 months ago
Structured Object-Oriented Formal Language (SOFL) is a representative formal engineering method for software development. It offers a three-step specification approachtoconstructi...
107
Voted
EWSPT
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. This paper indicates how effective software-process programming languages can lead to improved understandings of critical software processes, as well as improved process ...
ATAL
2008
Springer
14 years 11 months ago
2008
Springer
Distributed systems comprised of autonomous self-interested entities require some sort of control mechanism to ensure the predictability of the interactions that drive them. This ...
COMPSAC
2004
IEEE
15 years 1 months ago
2004
IEEE
Many developers who could benefit from building and analysing formal models of their systems are deterred from doing so by the process algebra style input languages of formal mode...