1988 search results - page 169 / 398 » Engineering formal metatheory |
150
click to vote
BPM
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. In requirements engineering we have to discover the user requirements and then we have to transform them into precise system specifications. There are two essential aspec...
206
click to vote
IEEEICCI
2002
IEEE
15 years 11 months ago
2002
IEEE
There are already many projects focusing on Computer Aided Software Engineering (CASE) tools for object-oriented analysis and design. However, at this moment, there are certain li...
157
click to vote
CBSE
2009
Springer
15 years 11 months ago
2009
Springer
A challenge of componentizing legacy applications is to extract behavior specification of suggested components. It is desirable to preserve a relation between the original structur...
157
click to vote
AOSE
2001
Springer
15 years 11 months ago
2001
Springer
Two key issues in building multi-agent systems concern their scalability and engineering open systems. We offer solutions to these potential problems by introducing a lifecycle fo...
137
click to vote
EWSPT
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Process programming languages have not been readily adopted by practitioners. We are addressing this problem through the development of Little-JIL, a language that focuse...