Sciweavers

4726 search results - page 187 / 946
» Domain Modeling of Software Process Models
Sort
View
ECOOPW
2008
Springer
15 years 4 months ago
Equation-Based Object-Oriented Languages and Tools
EOOLT'2007 was the first edition of the ECOOP-EOOLT workshop. The workshop is intended to bring researchers associated with different equation-based object-oriented (EOO) mode...
Peter Fritzson, David Broman, François Cell...
ER
2007
Springer
103views Database» more  ER 2007»
15 years 8 months ago
Ontological Semantics for the Use of UML in Conceptual Modeling
Despite its origins in software modeling, there has been growing interest in using the Unified Modeling Language (UML) for conceptual modeling of application domains. However, the...
Xueming Li, Jeffrey Parsons
CODES
2003
IEEE
15 years 7 months ago
Transaction level modeling: an overview
Recently, the transaction-level modeling has been widely referred to in system-level design community. However, the transaction-level models(TLMs) are not well defined and the us...
Lukai Cai, Daniel Gajski
120
Voted
TCAD
2008
181views more  TCAD 2008»
15 years 2 months ago
A Survey of Automated Techniques for Formal Software Verification
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
Vijay D'Silva, Daniel Kroening, Georg Weissenbache...
135
Voted
JNSM
2000
122views more  JNSM 2000»
15 years 2 months ago
Communications Systems Driven by Software Agent Technology
The application of software agent technology to the management of communications' infrastructures is a challenging domain as it requires management on different time scales a...
Alex L. Hayzelden, John Bigham, Stefan Poslad, Phi...