161 search results - page 23 / 33 » A logic-based approach for real-time object-oriented softwar... |
AOSE
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Agent-Oriented Software Engineering (AOSE) methodologies are proposed to develop complex distributed systems based upon the agent paradigm. The natural implementation for...
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...
DATE
2009
IEEE
14 years 2 months ago
2009
IEEE
—This paper reports on experience gained and lessons learned from an intensive investigation of model-driven engineering methodology and technology for application to high-integr...
SCSC
2007
13 years 9 months ago
2007
Abstract— Graphical variant modeling refers to a novel approach to object-oriented modeling whereby a class overrides behavior inherited from a parent class by specifying variati...
SIGSOFT
2007
ACM
14 years 8 months ago
2007
ACM
This paper presents a specification-based approach for systematic testing of products from a software product line. Our approach uses specifications given as formulas in Alloy, a ...