665 search results - page 40 / 133 » Extending Software Development Methodologies to Support Trus... |
102
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Development of distributed systems is a difficult task. Declarative programming techniques hold a promising potential for effectively supporting programmer in this challenge. Whil...
101
click to vote
INFSOF
2006
15 years 3 months ago
2006
Contemporary embedded systems quite often employ extremely complicated software consisting of a number of interrelated components, and this has made object-oriented design methodo...
110
click to vote
SEKE
1999
Springer
15 years 7 months ago
1999
Springer
Today’s software developments are faced with steadily increasing expectations: software has to be developed faster, better, and cheaper. At the same time, application complexity ...
148
click to vote
SPLC
2008
15 years 4 months ago
2008
This paper builds on product line CCS (PL-CCS), an algebraic approach to modeling the behavior of software product lines. The semantics of PL-CCS specifications is given in terms ...
128
click to vote
IFM
1999
Springer
15 years 7 months ago
1999
Springer
SOFL (Structured-Object-based-Formal Language) is recently proposed to combine the advantagesof formal methods, structured methods and object-oriented methodology into one method ...