|
" Practical foundations of business system specifications "
edited by Haim Kilov, independent consultant, Millington, NJ and Affiliate Professor, Stevens Institute of Technology, Hoboken, NJ, U.S.A., and Kenneth Baclawski, Associate Professor, College of Computer Science, Northeastern University, Boston, MA, U.S.A.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
728952
|
| Doc. No
|
:
|
b548706
|
| Main Entry
|
:
|
edited by Haim Kilov, independent consultant, Millington, NJ and Affiliate Professor, Stevens Institute of Technology, Hoboken, NJ, U.S.A., and Kenneth Baclawski, Associate Professor, College of Computer Science, Northeastern University, Boston, MA,
|
| Title & Author
|
:
|
Practical foundations of business system specifications\ edited by Haim Kilov, independent consultant, Millington, NJ and Affiliate Professor, Stevens Institute of Technology, Hoboken, NJ, U.S.A., and Kenneth Baclawski, Associate Professor, College of Computer Science, Northeastern University, Boston, MA, U.S.A.
|
| Publication Statement
|
:
|
Dordrecht: Springer Science+Business Media, [2003] ©2003
|
| Page. NO
|
:
|
(x, 337 pages) : illustrations
|
| ISBN
|
:
|
9048163676
|
|
|
:
|
: 9401727406
|
|
|
:
|
: 9789048163670
|
|
|
:
|
: 9789401727402
|
| Contents
|
:
|
1 Service-oriented Business and System Specification: Beyond Object-orientation --;2 Formalization of Situation Awareness --;3 From RM-ODP to the formal behavior representation --;4 Towards the specification of software development processes: An information modeling approach --;5 .NET Contracts: Attaching Specifications to Components --;6 From Box-and-Line Drawings to Precise Specifications: Using RM-ODP and GRM to Specify Semantics --;7 Domain Models of "The Market" --;in Preparation for?-Transaction Systems --;8 Mathematics of UML: Making the Odysseys of UML less dramatic --;9 Using Roles to Characterize Model Families --;10 Business Modeling: Modeling the Business Modeling and IT Businesses --;11 Flow-Service-Quality (FSQ) Engineering for Specification of Complex Systems --;12 Describing Architectures Using RM-ODP --;13 Extending UML for Agent-Based Systems --;14 A Program for Building a State of the Art Enterprise Ontology: Report on Progress --;15 Refactoring of Programs and Specifications --;16 Using Information Modeling to Initiate Business Strategies --;A Case Study for the E-Publishing Industry --;17 Games, Complexity and Interaction: The Role of Games in Computer Science --;Author Index.
|
| Abstract
|
:
|
In the mathematics I can report no deficience, except that it be that men do not sufficiently understand the excellent use of the pure mathematics, in that they do remedy and cure many defects in the wit and faculties intellectual.
|
| Subject
|
:
|
Business -- Data processing.
|
| Subject
|
:
|
Computer software -- Development.
|
| Subject
|
:
|
Software engineering.
|
| Added Entry
|
:
|
Haim Kilov
|
|
|
:
|
Kenneth Baclawski
|
| |