2088 search results - page 111 / 418 » Formal Approach to Integrating Feature and Architecture Mode... |
IFM
1999
Springer
15 years 4 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 ...
101
click to vote
CODES
2004
IEEE
15 years 3 months ago
2004
IEEE
We present design technology for the structured design and programming of embedded multi-processor systems. It comprises a task-level interface that can be used both for developin...
104
click to vote
AOSE
2001
Springer
15 years 4 months ago
2001
Springer
We are developing an agent-oriented software development methodology, called Tropos, which integrates ideas from multi-agentsystem technologies and RequirementsEngineering researc...
UML
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. The current UML semantics documentation has made a signi cant step towards providing a precise description of the UML. However, at present the semantic model it proposes ...
117
click to vote
KDD
2005
ACM
16 years 9 days ago
2005
ACM
Web users display their preferences implicitly by navigating through a sequence of pages or by providing numeric ratings to some items. Web usage mining techniques are used to ext...