1005 search results - page 145 / 201 » Formal Software Development in MAYA |
108
click to vote
CBSE
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The SOAP Service Description Language (SSDL) is a SOAPcentric language for describing Web Service contracts. SSDL focuses on abstraction as the building block for creatin...
MODELS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Since the seminal book by the Gang of Four, design patterns have proven an important tool in software development. Over time, more and more patterns have been discovered ...
CAV
2010
Springer
15 years 3 months ago
2010
Springer
Well-defined memory consistency models are necessary for writing correct parallel software. Developing and understanding formal specifications of hardware memory models is a chal...
109
click to vote
ENTCS
2008
14 years 12 months ago
2008
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...
SIGSOFT
2009
ACM
16 years 17 days ago
2009
ACM
Programs of a software product line can be synthesized by composing features which implement a unit of program functionality. In most product lines, only some combination of featu...