4258 search results - page 144 / 852 » Languages and Interactive Software Development |
115
click to vote
SOFTWARE
2010
15 years 3 months ago
2010
Architecture is typically either a very non-tangible, conceptual aspect of a software system that can primarily be found in Word documents, or it is entirely driven by technology ...
146
Voted
EUROPLOP
2006
15 years 6 months ago
2006
Peer-to-peer systems typically operate in large-scale, highly unreliable and insecure environments. Tackling this complexity requires good software design. Yet, many peer-to-peer ...
177
click to vote
KBS
2006
2006
Facilitating formal specification acquisition by using recursive functions on context-free languages
15 years 4 months ago
Although formal specification techniques are very useful in software development, the acquisition of formal specification is a difficult task. This paper presents the formal softw...
142
Voted
VSTTE
2005
Springer
15 years 10 months ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
140
click to vote
LADS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. More and more aspects of concurrency and concurrent programming are becoming part of mainstream programming and software engineering, as a result of several factors, such...