1180 search results - page 111 / 236 » Total Functional Software Engineering - Overview Paper |
ICST
2008
IEEE
15 years 5 months ago
2008
IEEE
This paper presents a method of component testing based on algebraic specifications. An algorithm for generating checkable test cases is proposed. A prototype testing tool called ...
103
click to vote
COMPSAC
2007
IEEE
15 years 5 months ago
2007
IEEE
In a component-based system components are basic computation units implementing specific business functions, and their interactions are explicitly represented by connectors. If th...
PPPJ
2006
ACM
15 years 5 months ago
2006
ACM
Concept assignment identifies units of source code that are functionally related, even if this is not apparent from a syntactic point of view. Until now, the results of concept a...
TMRA
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. This paper describes a query algebra for tolog, a query language for Topic Maps inspired by Prolog and very similar to Datalog. The language is based on binding variables...
IWSSD
2000
IEEE
15 years 3 months ago
2000
IEEE
This paper reports on a preliminary investigation into applying work on graphic animation of behavioral models to an air traffic control case study – the National Air Traffic Se...