10239 search results - page 424 / 2048 » Postmodern Software Development |
235
Voted
CBSQ
2003
Springer
16 years 2 days ago
2003
Springer
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
219
click to vote
EWSPT
2003
Springer
16 years 2 days 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 ...
188
Voted
HASE
1998
IEEE
15 years 11 months ago
1998
IEEE
Engineers use software tools to analyze designs for critical systems. Because important decisions are based on tool results, tools must provide valid modeling constructs; engineer...
178
click to vote
COMPSAC
1997
IEEE
15 years 11 months ago
1997
IEEE
I n this paper, we propose an approach to reuse-based software development using formal method. I n our approach, each software component is annotated with a set of predicates to ...
185
Voted
HCI
2007
15 years 8 months ago
2007
Software Engineering (SE) and Usability Engineering (UE) both provide a wide range of elaborated process models to create software solutions. Today, many companies have realized th...