Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
R.B. France
Observed names:
R. B. France,
Rober France
Institution:
Colorado State University
Observed institutions:
Florida Atlantic University,
University of Maryland, College Park,
Colorado State University
OpenAlex ID:
A5111955115
A UML-based pattern specification technique
2004
·
R.B. France
, Dae-Kyoo Kim
, et al.
·
IEEE Transactions on Software Engineering
·
274
Model-Driven Development Using UML 2.0: Promises and Pitfalls
2006
·
R.B. France
, S. Ghosh
, et al.
·
Computer
·
196
Towards a formalization of UML class structures in Z
2002
·
M. Shroff
, R.B. France
·
IEEE Annual International Computer Software and Applications Conference (COMPSAC)
·
83
Semantically extended dataflow diagrams: a formal specification tool
1992
·
R.B. France
·
IEEE Transactions on Software Engineering
·
64
Supporting rigorous evolution of UML models
2004
·
S.R. Judson
, R.B. France
, et al.
·
IEEE International Conference on Engineering of Complex Computer Systems (ICECCS)
·
9
Formal specification of real-time dependable systems
2002
·
E.B. Fernandez
, R.B. France
·
IEEE International Conference on Engineering of Complex Computer Systems (ICECCS)
·
7
Towards a rigorous object-oriented analysis and design method
2002
·
R.B. France
, J.-M. Bruel
, et al.
·
International Conference on Formal Engineering Methods
·
5
Model-Driven Approaches to Software Development
2002
·
Dan Turk
, Rober France
, et al.
·
Lecture notes in computer science
·
4
Taming the Octopus: using formal models to integrate the Octopus object oriented analysis models
2002
·
R.B. France
, J.-M. Bruel
, et al.
·
IEEE International Symposium on High Assurance Systems Engineering (HASE)
·
3
An industrial application of an integrated UML and SDL modeling technique
2003
·
R.B. France
, M. Boughadadi
, et al.
·
IEEE Annual International Computer Software and Applications Conference (COMPSAC)
·
1
Towards CASE tool support for rigorous structured analysis
2002
·
R.B. France
, T.W.G. Docker
·
International Conference on Computing and Information (ICCI)
·
1
A real-time specification environment based on Z and graphical object-oriented modeling techniques
2002
·
J.-M. Bruel
, R.B. France
, et al.
·
IEEE International Symposium on High Assurance Systems Engineering (HASE)
·
1
A Z-based approach to specifying and analyzing complex systems
2002
·
J.-M. Bruel
, R.B. France
, et al.
·
IEEE International Conference on Engineering of Complex Computer Systems (ICECCS)
·
1
A domain model of WWW browsers
1996
·
G.K. Raghavan
, K.R. Nair
, et al.
·
1
Towards semantic-based object-oriented CASE tools
2002
·
R.B. France
, M.P. Evett
, et al.
·
IEEE/ACM International Conference on Automated Software Engineering (ASE)
Show more works
View as search
Works count:
16
Citation count:
650
H-index:
6
I10-index:
4
Year
Topic
Type
