1926 search results - page 310 / 386 » Modeling and Model Checking Software Product Lines |
JSS
2010
14 years 10 months ago
2010
The backbone of many software architectures and component integration frameworks is an architectural style that provides a domain-specific design vocabulary and a set of constrai...
ENTCS
2010
14 years 9 months ago
2010
We present MLSolver, a tool for solving the satisfiability and validity problems for modal fixpoint logics. The underlying technique is based on characterisations of satisfiabilit...
101
click to vote
ICSEA
2009
IEEE
15 years 6 months 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...
ICSE
2004
IEEE-ACM
15 years 12 months ago
2004
IEEE-ACM
Building a configuration management (CM) system is a difficult endeavor that regularly requires tens of thousands of lines of code to be written. To reduce this effort, several ex...
CODES
1998
IEEE
15 years 4 months ago
1998
IEEE
This paper discusses a case study, the co-design of an ATM Network Interface Card (NIC). The NIC is aimed to interface applications with the physical network line. It is composed ...