3255 search results - page 539 / 651 » Usage-Centered Design and Software Engineering: Models for I... |
169
Voted
AC
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. There exists ample literature on Petri nets and its potential in the modelling, analysis, synthesis and implementation of systems in the manufacturing applications domain...
152
click to vote
ICESS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Synchronous models are useful for designing real-time embedded systems because they provide timing control and deterministic concurrency. However, the semantics of such m...
149
click to vote
FORTE
1996
15 years 7 months ago
1996
I discuss formal description techniques (FDTs) as they are applied in practice in software and system engineering. Their quality can be measured by their formality, descriptivenes...
155
Voted
ISSTA
2004
ACM
15 years 11 months ago
2004
ACM
The ability to predict which files in a large software system are most likely to contain the largest numbers of faults in the next release can be a very valuable asset. To accomp...
174
click to vote
ICSEA
2009
IEEE
16 years 22 days ago
2009
IEEE
: This paper presents an approach to model ontologies for the e-Government domain as a basis for an integrated e-Government environment. Over the last couple of years the applicati...