4476 search results - page 77 / 896 » Modeling software architectures in the Unified Modeling Lang... |
137
click to vote
KES
2008
Springer
15 years 1 months ago
2008
Springer
This paper presents a user interface to the User-Centred Knowledge Model (t-UCK). T-UCK is a knowledge modelling tool for designing knowledge-intensive systems. The model centres r...
ICSE
2007
IEEE-ACM
16 years 1 months ago
2007
IEEE-ACM
The paper presents a novel approach based on Bogor for the accurate verification of applications based on PublishSubscribe infrastructures. Previous efforts adopted standard model...
COMPSAC
2002
IEEE
15 years 6 months ago
2002
IEEE
Software standards are highly recommended because they promise faster and more efficient ways for software development with proven techniques and standard notations. Designers who...
102
click to vote
ECBS
2003
IEEE
15 years 7 months ago
2003
IEEE
Agile Software practices place great emphasis on coding, yet coding is time-consuming, difficult, and the source of many errors. The paper describes a way in which the specificati...
109
click to vote
UML
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. In this paper, we propose a verification methodology for System-OnChip (SoC) design using Unified Modeling Language (UML). We introduce UML as a formal model to analyze a...