-
1
-
-
0003547470
-
-
Essex, UK: Addison-Wesley Longman Ltd.
-
J. Rumbaugh, I. Jacobson, and G. Booch, Eds., The Unified Modeling Language reference manual. Essex, UK: Addison-Wesley Longman Ltd., 1999.
-
(1999)
The Unified Modeling Language Reference Manual
-
-
Rumbaugh, J.1
Jacobson, I.2
Booch, G.3
-
2
-
-
57349111974
-
UML for electronic systems design: A comprehensive overview
-
Y. Vanderperren, W. Müller, and W. Dehaene, "UML for electronic systems design: a comprehensive overview," Design Automation for Embedded Systems, vol. 12, no. 4, pp. 261-292, 2008.
-
(2008)
Design Automation for Embedded Systems
, vol.12
, Issue.4
, pp. 261-292
-
-
Vanderperren, Y.1
Müller, W.2
Dehaene, W.3
-
3
-
-
84892794433
-
-
Secaucus, NJ, USA: Springer- Verlag New York, Inc.
-
G. Martin and W. Müller, UML for SOC Design. Secaucus, NJ, USA: Springer-Verlag New York, Inc., 2005.
-
(2005)
UML for SOC Design
-
-
Martin, G.1
Müller, W.2
-
4
-
-
0003809443
-
-
Boston, MA, USA: Addison-Wesley Longman Publishing Co., Inc.
-
J. Warmer and A. Kleppe, The Object Constraint Language: Precise modeling with UML. Boston, MA, USA: Addison-Wesley Longman Publishing Co., Inc., 1999.
-
(1999)
The Object Constraint Language: Precise Modeling with UML
-
-
Warmer, J.1
Kleppe, A.2
-
5
-
-
70350378886
-
Consistency, Independence and Consequences in UML and OCL Models
-
TAP, ser. C. Dubois, Ed., Springer
-
M. Gogolla, M. Kuhlmann, and L. Hamann, "Consistency, Independence and Consequences in UML and OCL Models," in TAP, ser. Lecture Notes in Computer Science, C. Dubois, Ed., vol. 5668. Springer, 2009, pp. 90-104.
-
(2009)
Lecture Notes in Computer Science
, vol.5668
, pp. 90-104
-
-
Gogolla, M.1
Kuhlmann, M.2
Hamann, L.3
-
6
-
-
36048931368
-
USE: A UML-based specification environment for validating UML and OCL
-
M. Gogolla, F. Büttner, and M. Richters, "USE: A UML-based specification environment for validating UML and OCL," Science of Computer Programming, vol. 69, no. 1-3, pp. 27-34, 2007.
-
(2007)
Science of Computer Programming
, vol.69
, Issue.1-3
, pp. 27-34
-
-
Gogolla, M.1
Büttner, F.2
Richters, M.3
-
7
-
-
12344296845
-
Formalizing UML Models and OCL Constraints in PVS
-
M. Kyas, H. Fecher, F. S. de Boer, J. Jacob, J. Hooman, M. van der Zwaag, T. Arons, and H. Kugler, "Formalizing UML Models and OCL Constraints in PVS," Electronic Notes in Theoretical Computer Science, vol. 115, pp. 39-47, 2005.
-
(2005)
Electronic Notes in Theoretical Computer Science
, vol.115
, pp. 39-47
-
-
Kyas, M.1
Fecher, H.2
De Boer, F.S.3
Jacob, J.4
Hooman, J.5
Van Der Zwaag, M.6
Arons, T.7
Kugler, H.8
-
9
-
-
77953100008
-
Verifying UML/OCL models using Boolean satisfiability
-
IEEE Computer Society
-
M. Soeken, R. Wille, M. Kuhlmann, M. Gogolla, and R. Drechsler, "Verifying UML/OCL models using Boolean satisfiability," in Design, Automation and Test in Europe. IEEE Computer Society, 2010, pp. 1341-1344.
-
(2010)
Design, Automation and Test in Europe
, pp. 1341-1344
-
-
Soeken, M.1
Wille, R.2
Kuhlmann, M.3
Gogolla, M.4
Drechsler, R.5
-
11
-
-
27144501091
-
Consistency checking of UML requirements
-
IEEE Computer Society
-
X. Li, Z. Liu, and J. He, "Consistency checking of UML requirements," in ICECCS. IEEE Computer Society, 2005, pp. 411-420.
-
(2005)
ICECCS
, pp. 411-420
-
-
Li, X.1
Liu, Z.2
He, J.3
-
12
-
-
67650498720
-
Verifying UML/OCL Operation Contracts
-
Integrated Formal Methods, ser. M. Leuschel and H. Wehrheim, Eds., Springer
-
J. Cabot, R. Clarisó, and D. Riera, "Verifying UML/OCL Operation Contracts," in Integrated Formal Methods, ser. Lecture Notes in Computer Science, M. Leuschel and H. Wehrheim, Eds., vol. 5423. Springer, 2009, pp. 40-55.
-
(2009)
Lecture Notes in Computer Science
, vol.5423
, pp. 40-55
-
-
Cabot, J.1
Clarisó, R.2
Riera, D.3
-
13
-
-
84944319371
-
Symbolic Model Checking without BDDs
-
Tools and Algorithms for the Construction and Analysis of Systems, ser. R. Cleaveland, Ed., Springer
-
A. Biere, A. Cimatti, E. M. Clarke, and Y. Zhu, "Symbolic Model Checking without BDDs," in Tools and Algorithms for the Construction and Analysis of Systems, ser. Lecture Notes in Computer Science, R. Cleaveland, Ed., vol. 1579. Springer, 1999, pp. 193-207.
-
(1999)
Lecture Notes in Computer Science
, vol.1579
, pp. 193-207
-
-
Biere, A.1
Cimatti, A.2
Clarke, E.M.3
Zhu, Y.4
-
14
-
-
85059770931
-
The complexity of theorem-proving procedures
-
New York, NY, USA: ACM
-
S. A. Cook, "The complexity of theorem-proving procedures," in STOC'71: Proceedings of the third annual ACM symposium on Theory of computing. New York, NY, USA: ACM, 1971, pp. 151-158.
-
(1971)
STOC'71: Proceedings of the Third Annual ACM Symposium on Theory of Computing
, pp. 151-158
-
-
Cook, S.A.1
-
15
-
-
0034852165
-
Chaff: Engineering an Efficient SAT Solver
-
ACM
-
M. W. Moskewicz, C. F. Madigan, Y. Zhao, L. Zhang, and S. Malik, "Chaff: Engineering an Efficient SAT Solver," in Design Automation Conference. ACM, 2001, pp. 530-535.
-
(2001)
Design Automation Conference
, pp. 530-535
-
-
Moskewicz, M.W.1
Madigan, C.F.2
Zhao, Y.3
Zhang, L.4
Malik, S.5
-
17
-
-
30344450270
-
An Extensible SAT-solver
-
SAT, ser. E. Giunchiglia and A. Tacchella, Eds., Springer
-
N. Eén and N. Sörensson, "An Extensible SAT-solver," in SAT, ser. Lecture Notes in Computer Science, E. Giunchiglia and A. Tacchella, Eds., vol. 2919. Springer, 2003, pp. 502-518.
-
(2003)
Lecture Notes in Computer Science
, vol.2919
, pp. 502-518
-
-
Eén, N.1
Sörensson, N.2
-
18
-
-
49749083176
-
-
Secaucus, NJ, USA: Springer- Verlag New York, Inc.
-
M. Ganai and A. Gupta, SAT-Based Scalable Formal Verification Solutions (Series on Integrated Circuits and Systems). Secaucus, NJ, USA: Springer-Verlag New York, Inc., 2007.
-
(2007)
SAT-Based Scalable Formal Verification Solutions (Series on Integrated Circuits and Systems)
-
-
Ganai, M.1
Gupta, A.2
-
19
-
-
84943248441
-
Sat-based procedures for temporal reasoning
-
5th European Conference on Planning, ser. S. Biundo and M. Fox, Eds., Springer
-
A. Armando, C. Castellini, and E. Giunchiglia, "Sat-based procedures for temporal reasoning," in 5th European Conference on Planning, ser. Lecture Notes in Computer Science, S. Biundo and M. Fox, Eds., vol. 1809. Springer, 1999, pp. 97-108.
-
(1999)
Lecture Notes in Computer Science
, vol.1809
, pp. 97-108
-
-
Armando, A.1
Castellini, C.2
Giunchiglia, E.3
-
20
-
-
51849091482
-
Using Higher Levels of Abstraction for Solving Optimization Problems by Boolean Satisfiability
-
IEEE Computer Society
-
R. Wille, D. Große, M. Soeken, and R. Drechsler, "Using Higher Levels of Abstraction for Solving Optimization Problems by Boolean Satisfiability," in IEEE Computer Society Annual Symposium on VLSI. IEEE Computer Society, 2008, pp. 411-416.
-
(2008)
IEEE Computer Society Annual Symposium on VLSI
, pp. 411-416
-
-
Wille, R.1
Große, D.2
Soeken, M.3
Drechsler, R.4
-
21
-
-
0032268617
-
A Survey of Structured and Object-Oriented Software Specification Methods and Techniques
-
R. Wieringa, "A Survey of Structured and Object-Oriented Software Specification Methods and Techniques," ACM Computer Surveys, vol. 30, no. 4, pp. 459-527, 1998.
-
(1998)
ACM Computer Surveys
, vol.30
, Issue.4
, pp. 459-527
-
-
Wieringa, R.1
-
22
-
-
70350656383
-
Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays
-
Tools and Algorithms for the Construction and Analysis of Systems, ser. S. Kowalewski and A. Philippou, Eds., Springer
-
R. Brummayer and A. Biere, "Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays," in Tools and Algorithms for the Construction and Analysis of Systems, ser. Lecture Notes in Computer Science, S. Kowalewski and A. Philippou, Eds., vol. 5505. Springer, 2009, pp. 174-177.
-
(2009)
Lecture Notes in Computer Science
, vol.5505
, pp. 174-177
-
-
Brummayer, R.1
Biere, A.2
|